| Publication | Date of Publication | Type |
|---|
Fourier algorithm revisited
Algebraic and Logic Programming | 2022-08-16 | Paper |
From LP to LP: Programming with constraints
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Qualitative theorem proving in linear constraints
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Practical issues on the projection of polyhedral sets
Annals of Mathematics and Artificial Intelligence | 1997-11-09 | Paper |
Most specific logic programs
Annals of Mathematics and Artificial Intelligence | 1997-06-04 | Paper |
On Fourier's algorithm for linear arithmetic constraints
Journal of Automated Reasoning | 1994-02-17 | Paper |
| scientific article; zbMATH DE number 176121 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 35420 (Why is no real title available?) | 1992-06-28 | Paper |
A canonical form for generalized linear constraints
Journal of Symbolic Computation | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4213487 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4053011 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4058908 (Why is no real title available?) | 1988-01-01 | Paper |
Explicit representation of terms defined by counter examples
Journal of Automated Reasoning | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4011966 (Why is no real title available?) | 1986-01-01 | Paper |
Comments on “general failure of logic programs”
The Journal of Logic Programming | 1986-01-01 | Paper |
Optimal fixedpoints of logic programs
Theoretical Computer Science | 1985-01-01 | Paper |
A theory of complete logic programs with equality
The Journal of Logic Programming | 1984-01-01 | Paper |
Closures and fairness in the semantics of programming logic
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3848592 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3729456 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3639884 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3585339 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3585339 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3609953 (Why is no real title available?) | 1978-01-01 | Paper |
Circular codes and synchronization
International Journal of Computer & Information Sciences | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3518693 (Why is no real title available?) | 1975-01-01 | Paper |
Prefix codes, trees, and automata
Information Sciences | 1975-01-01 | Paper |
A correspondence on strongly prefix codes (Corresp.)
IEEE Transactions on Information Theory | 1975-01-01 | Paper |
Prefix codes and isomorphic automata
International Journal of Computer Mathematics | 1973-01-01 | Paper |
On the structure of systematic prefix codes
International Journal of Computer Mathematics | 1972-01-01 | Paper |
