Login / Signup
Adriana Balan
ORCID
Publication Activity (10 Years)
Years Active: 2010-2021
Publications (10 Years): 5
Top Topics
Metric Space
Modal Logic
Positive And Negative
Proof Theory
Top Venues
CALCO
CoRR
Log. Methods Comput. Sci.
Appl. Categorical Struct.
</>
Publications
</>