Login / Signup
Miguel Palomino
ORCID
Publication Activity (10 Years)
Years Active: 2002-2024
Publications (10 Years): 8
Top Topics
Rewrite Rules
Presburger Arithmetic
Nonmonotonic Inference
Random Field Model
Top Venues
CoRR
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
WRLA
J. Autom. Reason.
</>
Publications
</>