Login / Signup
Raúl López-Rueda
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 7
Top Topics
Canonical Form
Formal Analysis
Timed Automata
Constraint Satisfaction
Top Venues
WRLA@ETAPS
J. Log. Algebraic Methods Program.
CoRR
FTSCS
</>
Publications
</>