Sign in
Sophia Roshal
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Diffuse Optical Tomography
Datalog Programs
Tight Complexity Bounds
Top Venues
CoRR
SPLASH (Companion)
</>
Publications
</>
Junyoung Jang
,
Sophia Roshal
,
Frank Pfenning
,
Brigitte Pientka
Adjoint Natural Deduction (Extended Version).
CoRR
(2024)
Sophia Roshal
Towards decidable and expressive DOT.
SPLASH (Companion)
(2021)