Login / Signup
Emilio Jesús Gallego Arias
ORCID
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 13
Top Topics
High Dimensions
Mechanism Design
Constraint Logic Programming
Theorem Proving
Top Venues
CoRR
ITP
ICSE (Companion Volume)
FARM@ICFP
</>
Publications
</>