| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4967707 | 2019-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944861 | 2000-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4377041 | 1998-02-08 | Paper |
| Logic, modeling, and programming | 1997-11-26 | Paper |
| Computational complexity and constraint logic programming languages | 1997-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4331789 | 1997-02-06 | Paper |
| A note on the parallel complexity of anti-unification | 1993-12-20 | Paper |
| A canonical form for generalized linear constraints | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3476799 | 1990-01-01 | Paper |
| Stratification and knowledge base management | 1989-01-01 | Paper |
| Independent Statements about Finite Stretchable Structures | 1988-01-01 | Paper |
| On Gödel incompleteness and finite combinatorics | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778734 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3717036 | 1985-01-01 | Paper |
| Petri nets and large finite sets | 1984-01-01 | Paper |
| Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic | 1983-01-01 | Paper |
| Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043148 | 1982-01-01 | Paper |
| On the complexity of models of arithmetic | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671967 | 1982-01-01 | Paper |
| Indicators, recursive saturation and expandability | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962993 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912791 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3912792 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3037422 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3205227 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050421 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907560 | 1978-01-01 | Paper |
| Completeness Theorems, Incompleteness Theorems and Models of Arithmetic | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3874194 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063136 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4100087 | 1975-01-01 | Paper |
| On the sequence of models $HOD_n$ | 1974-01-01 | Paper |
| Forcing and generalized quantifiers | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067291 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622186 | 1971-01-01 | Paper |
| Consistency results about ordinal definability | 1971-01-01 | Paper |
