| Publication | Date of Publication | Type |
|---|
Egyptian multiplication and some of its ramifications
| 2019-01-30 | Paper |
Matrix Code
Science of Computer Programming | 2014-03-25 | Paper |
Constraint propagation as information maximization
Artificial Intelligence | 2013-08-23 | Paper |
Compositional Semantics for the Procedural Interpretation of Logic
Logic Programming | 2008-03-11 | Paper |
scientific article; zbMATH DE number 2068082 (Why is no real title available?)
| 2004-05-27 | Paper |
On the significance of digits in interval notation
Reliable Computing | 2004-03-15 | Paper |
scientific article; zbMATH DE number 1926599 (Why is no real title available?)
| 2003-06-11 | Paper |
scientific article; zbMATH DE number 1368927 (Why is no real title available?)
| 2002-02-21 | Paper |
Interval constraint plotting for interactive visual exploration of implicitly defined relations
Reliable Computing | 2000-03-22 | Paper |
Algorithmic power from declarative use of redundant constraints
Constraints | 2000-03-19 | Paper |
scientific article; zbMATH DE number 1059305 (Why is no real title available?)
| 1998-03-30 | Paper |
Value constraints in the CLP scheme
Constraints | 1997-12-11 | Paper |
Describing symmetrical structures in logic.
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
Interval computation as deduction in chip
The Journal of Logic Programming | 1993-08-23 | Paper |
Compositional operational semantics for Prolog programs
New Generation Computing | 1992-08-13 | Paper |
scientific article; zbMATH DE number 4147550 (Why is no real title available?)
| 1990-01-01 | Paper |
Logic programming with equations
The Journal of Logic Programming | 1987-01-01 | Paper |
Quantitative deduction and its fixpoint theory
The Journal of Logic Programming | 1986-01-01 | Paper |
Top-down semantics of fair computations of logic programs
The Journal of Logic Programming | 1985-01-01 | Paper |
A logical reconstruction of Prolog II
The Journal of Logic Programming | 1984-01-01 | Paper |
Contributions to the Theory of Logic Programming
Journal of the ACM | 1982-01-01 | Paper |
Consequence Verification of Flowcharts
IEEE Transactions on Software Engineering | 1981-01-01 | Paper |
Programming with Verification Conditions
IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3679211 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3597912 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3664339 (Why is no real title available?)
| 1977-01-01 | Paper |
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3502751 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3626570 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3389334 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3358009 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3412163 (Why is no real title available?)
| 1971-01-01 | Paper |
Increasing the efficiency of quicksort
Communications of the ACM | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3336522 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3348010 (Why is no real title available?)
| 1969-01-01 | Paper |
