| Publication | Date of Publication | Type |
|---|
Lazy narrowing in a graph machine
Algebraic and Logic Programming | 2022-08-16 | Paper |
Qualified logic programming with bivalued predicates
Electronic Notes in Theoretical Computer Science | 2016-05-20 | Paper |
A transformation-based implementation for CLP with qualification and proximity
Theory and Practice of Logic Programming | 2014-04-16 | Paper |
A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
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 |
| Constraint functional logic programming revisited | 2013-09-20 | Paper |
A declarative debugging system for lazy functional logic programs
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
A declarative semantics for CLP with qualification and proximity
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
Theory and Practice of Logic Programming | 2009-10-19 | Paper |
Qualified Computations in Functional Logic Programming
Logic Programming | 2009-07-24 | Paper |
Quantitative Logic Programming Revisited
Functional and Logic Programming | 2008-04-11 | Paper |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
Functional and Logic Programming | 2008-04-11 | Paper |
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
Logic Programming | 2008-03-11 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation | 2007-05-21 | Paper |
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 2048606 (Why is no real title available?) | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1696583 (Why is no real title available?) | 2002-07-22 | Paper |
A declarative framework for object-oriented programming with genetic inheritance
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1692897 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1688813 (Why is no real title available?) | 2002-01-09 | Paper |
Polymorphic types in functional logic programming
The Journal of Functional and Logic Programming | 2001-07-31 | Paper |
| scientific article; zbMATH DE number 1407673 (Why is no real title available?) | 2000-09-26 | Paper |
| scientific article; zbMATH DE number 1407681 (Why is no real title available?) | 2000-09-26 | Paper |
| scientific article; zbMATH DE number 1487843 (Why is no real title available?) | 2000-08-10 | Paper |
An approach to declarative programming based on a rewriting logic
The Journal of Logic Programming | 1999-11-01 | Paper |
| scientific article; zbMATH DE number 515734 (Why is no real title available?) | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 515736 (Why is no real title available?) | 1994-10-19 | Paper |
| scientific article; zbMATH DE number 512892 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 408794 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 177789 (Why is no real title available?) | 1993-05-18 | Paper |
Logic programming with functions and predicates: The language Babel
The Journal of Logic Programming | 1992-08-13 | Paper |
Hoare's logic for nondeterministic regular programs: A nonstandard approach
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4164127 (Why is no real title available?) | 1989-01-01 | Paper |
Some general incompleteness results for partial correctness logics
Information and Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4145877 (Why is no real title available?) | 1987-01-01 | Paper |
Some questions about expressiveness and relative completeness in Hoare's logic
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3921949 (Why is no real title available?) | 1985-01-01 | Paper |
EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN
Mathematical Logic Quarterly | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3786741 (Why is no real title available?) | 1981-01-01 | Paper |
