Login / Signup
Jaime Sánchez-Hernández
ORCID
Publication Activity (10 Years)
Years Active: 1999-2023
Publications (10 Years): 3
Top Topics
Commercial Database Systems
Intermediate Representation
Database
Hypothetical Reasoning
Top Venues
J. Log. Algebraic Methods Program.
PADL
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
LPAR (short papers)
</>
Publications
</>