Jaime Sánchez-Hernández

Available identifiers

Publication	Date of Publication	Type
White-box path generation in recursive programs	2021-07-01	Paper
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems	2020-03-12	Paper
A Generic Intermediate Representation for Verification Condition Generation	2016-02-05	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics	2014-04-17	Paper
An extended constraint deductive database: theory and implementation	2014-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q2871855	2014-01-10	Paper
Equivalence of Two Formal Semantics for Functional Logic Programs	2013-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q2844060	2013-08-27	Paper
Functional Logic Programming with Failure: A Set-Oriented View	2011-05-06	Paper
A Fully Abstract Semantics for Constructor Systems	2009-06-30	Paper
Rewriting and Call-Time Choice: The HO Case	2008-04-11	Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation	2008-04-11	Paper
A proof theoretic approach to failure in functional logic programming	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4736523	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4409162	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2767053	2002-01-28	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jaime Sánchez-Hernández