Login / Signup
Carlos Caleiro
ORCID
Publication Activity (10 Years)
Years Active: 1996-2024
Publications (10 Years): 35
Top Topics
Computational Properties
Negative Impact
Revision Operators
Classical Logic
Top Venues
CoRR
WoLLIC
Synth.
Theor. Comput. Sci.
</>
Publications
</>