| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7078771 (Why is no real title available?) | 2019-07-10 | Paper |
| scientific article; zbMATH DE number 1420797 (Why is no real title available?) | 2000-11-22 | Paper |
| scientific article; zbMATH DE number 1114458 (Why is no real title available?) | 1998-02-08 | Paper |
Logic, modeling, and programming
Annals of Operations Research | 1997-11-26 | Paper |
Computational complexity and constraint logic programming languages
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
| scientific article; zbMATH DE number 976922 (Why is no real title available?) | 1997-02-06 | Paper |
A note on the parallel complexity of anti-unification
Journal of Automated Reasoning | 1993-12-20 | Paper |
A canonical form for generalized linear constraints
Journal of Symbolic Computation | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4145886 (Why is no real title available?) | 1990-01-01 | Paper |
Stratification and knowledge base management
Journal of Symbolic Computation | 1989-01-01 | Paper |
| Independent Statements about Finite Stretchable Structures | 1988-01-01 | Paper |
On Gödel incompleteness and finite combinatorics
Annals of Pure and Applied Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4039875 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3946114 (Why is no real title available?) | 1985-01-01 | Paper |
Petri nets and large finite sets
Theoretical Computer Science | 1984-01-01 | Paper |
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
Journal of Symbolic Logic | 1983-01-01 | Paper |
| Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic | 1983-01-01 | Paper |
On the complexity of models of arithmetic
Journal of Symbolic Logic | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3825795 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3836033 (Why is no real title available?) | 1982-01-01 | Paper |
Indicators, recursive saturation and expandability
Fundamenta Mathematicae | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3784871 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3722639 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3722640 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3829898 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3646886 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3646886 (Why is no real title available?) | 1979-01-01 | Paper |
Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
Transactions of the American Mathematical Society | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3645081 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3717311 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3677824 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3520409 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3480577 (Why is no real title available?) | 1975-01-01 | Paper |
On the sequence of models $HOD_n$
Fundamenta Mathematicae | 1974-01-01 | Paper |
Forcing and generalized quantifiers
Annals of Mathematical Logic | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3484307 (Why is no real title available?) | 1972-01-01 | Paper |
Consistency results about ordinal definability
Annals of Mathematical Logic | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3346346 (Why is no real title available?) | 1971-01-01 | Paper |
