F. Sáenz-Pérez

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Planning for an efficient implementation of hypothetical Bousi\(\sim\)Prolog Theory and Practice of Logic Programming	2022-01-10	Paper
Applying constraint logic programming to SQL semantic analysis Theory and Practice of Logic Programming	2020-05-04	Paper
HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems Information and Computation	2020-03-12	Paper
Intuitionistic logic programming for SQL	2017-10-13	Paper
Algorithmic debugging of SQL views Perspectives of Systems Informatics	2015-12-07	Paper
A new proposal for debugging Datalog programs Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
An extended constraint deductive database: theory and implementation The Journal of Logic and Algebraic Programming	2014-02-25	Paper
Programmed search in a timetabling problem over finite domains Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
A proposal for the cooperation of solvers in constraint functional logic programming Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
A declarative embedding of XQuery in a functional-logic language Logic-Based Program Synthesis and Transformation	2013-03-13	Paper
Extending the \(\mathcal{TOY}\) system with the \(\mathrm{ECL}^i\mathrm{PS}^e\) solver over sets of integers Functional and Logic Programming	2012-07-20	Paper
Applying constraint logic programming to SQL test case generation Functional and Logic Programming	2010-05-04	Paper
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP Theory and Practice of Logic Programming	2009-10-19	Paper
A Theoretical Framework for the Declarative Debugging of Datalog Programs Semantics in Data and Knowledge Bases	2009-01-22	Paper
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation Functional and Logic Programming	2008-04-11	Paper
Constraint functional logic programming over finite domains Theory and Practice of Logic Programming	2007-10-09	Paper
scientific article; zbMATH DE number 2096830 (Why is no real title available?)	2004-09-06	Paper
scientific article; zbMATH DE number 1954119 (Why is no real title available?)	2003-07-28	Paper

Research outcomes over time

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