| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4692772 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3995303 | 1993-01-23 | Paper |
| Large convex sets in oriented matroids | 1988-01-01 | Paper |
| Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory | 1988-01-01 | Paper |
| Coding in the existential theory of concatenation | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219105 | 1984-01-01 | Paper |
| THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS | 1983-01-01 | Paper |
| DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2 | 1983-01-01 | Paper |
| State-strategies for games in Fσδ ∩ Gδσ | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4143272 | 1977-01-01 | Paper |
| The monadic second order theory of all countable ordinals | 1973-01-01 | Paper |
| Definibility in normal theories | 1973-01-01 | Paper |
| Variations on a theme of cantor in the theory of relational structures | 1973-01-01 | Paper |
| Model Theoretic Approaches to Definability | 1972-01-01 | Paper |
| Jordan circuits of a graph | 1971-01-01 | Paper |
| Canonical systems which produce periodic sets | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619048 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656782 | 1970-01-01 | Paper |
| Solving Sequential Conditions by Finite-State Strategies | 1969-01-01 | Paper |
| Definability in the monadic second-order theory of successor | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767250 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5547564 | 1965-01-01 | Paper |
| Decision methods in the theory of ordinals | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608007 | 1965-01-01 | Paper |
| Regular canonical systems | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5618355 | 1964-01-01 | Paper |
| Turing-machines and the Entscheidungsproblem | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525343 | 1962-01-01 | Paper |
| Beitrag zur Aerodynamik eines schwingenden Gitters II (Unterschallströmung) | 1962-01-01 | Paper |
| Weak Second‐Order Arithmetic and Finite Automata | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5517677 | 1960-01-01 | Paper |
| Invariants of the Anti-Automorphisms of a Group | 1958-01-01 | Paper |
| The theory of proportionality as an abstraction of group theory | 1955-01-01 | Paper |
| On the existence of totally heterogeneous spaces | 1954-01-01 | Paper |
| Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5813967 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5796613 | 1948-01-01 | Paper |
