Login / Signup
Luiz Carlos Pereira
Publication Activity (10 Years)
Years Active: 1993-2023
Publications (10 Years): 10
Top Topics
Natural Deduction
Decision Procedures
Invited Talk
Modal Logic
Top Venues
CoRR
Log. J. IGPL
CALCO
WoLLIC
</>
Publications
</>