Fernando Sáenz-Pérez

From MaRDI portal
Person:2304531

Available identifiers

zbMath Open saenz-perez.fernandoWikidataQ62058496 ScholiaQ62058496MaRDI QIDQ2304531

List of research outcomes

PublicationDate of PublicationType
Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog2022-01-10Paper
Applying Constraint Logic Programming to SQL Semantic Analysis2020-05-04Paper
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems2020-03-12Paper
Intuitionistic logic programming for SQL2017-10-13Paper
Algorithmic Debugging of SQL Views2015-12-07Paper
A New Proposal for Debugging Datalog Programs2014-03-26Paper
An extended constraint deductive database: theory and implementation2014-02-25Paper
Programmed Search in a Timetabling Problem over Finite Domains2014-01-24Paper
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming2013-12-20Paper
A Declarative Embedding of XQuery in a Functional-Logic Language2013-03-13Paper
Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers2012-07-20Paper
Applying Constraint Logic Programming to SQL Test Case Generation2010-05-04Paper
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP2009-10-19Paper
A Theoretical Framework for the Declarative Debugging of Datalog Programs2009-01-22Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation2008-04-11Paper
Constraint functional logic programming over finite domains2007-10-09Paper
https://portal.mardi4nfdi.de/entity/Q48115982004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q44151172003-07-28Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Fernando Sáenz-Pérez