Login / Signup
Ruy J. G. B. de Queiroz
Publication Activity (10 Years)
Years Active: 1990-2024
Publications (10 Years): 36
Top Topics
Security Threats
Natural Deduction
Domain Theory
Software Packages
Top Venues
CoRR
Log. J. IGPL
J. Comput. Syst. Sci.
LSFA
</>
Publications
</>