Login / Signup
Luis Aguirre
ORCID
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 4
Top Topics
Rewrite Rules
Presburger Arithmetic
Nonmonotonic Inference
Random Field Model
Top Venues
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
WRLA
J. Autom. Reason.
PPDP
</>
Publications
</>