Login / Signup
Camilo Rueda
ORCID
Publication Activity (10 Years)
Years Active: 1986-2022
Publications (10 Years): 15
Top Topics
Epistemic Logic
Constraint Programming
Coloured Petri Nets
Search Strategies
Top Venues
CoRR
J. Log. Algebraic Methods Program.
ACSD
PPDP
</>
Publications
</>