| Publication | Date of Publication | Type |
|---|
| Aristotle’s Relations: An Interpretation in Combinatory Logic | 2022-12-14 | Paper |
| Aristotle' Relations: An Interpretation in Combinatory Logic | 2020-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5227517 | 2019-08-06 | Paper |
| Neural algebra on ``how does the brain think? | 2019-06-18 | Paper |
| A Forgotten Theory of Proofs ? | 2018-09-25 | Paper |
| Formal Universes | 2015-09-14 | Paper |
| Remembering Ernst Specker (1920--2011) | 2012-09-21 | Paper |
| In memoriam: Ernst Specker, 1920-2011 | 2012-09-19 | Paper |
| Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets | 2009-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863687 | 1996-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4323290 | 1995-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4695319 | 1993-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4039829 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003727 | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976582 | 1992-06-26 | Paper |
| Combinatory differential fields | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777429 | 1988-01-01 | Paper |
| Representation of varieties in combinatory algebras | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776611 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3812199 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3692852 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221962 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3661541 | 1983-01-01 | Paper |
| Algebras and combinators | 1981-01-01 | Paper |
| Generalized galois theory and its application to complexity | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962996 | 1981-01-01 | Paper |
| Zum logischen Werk von Paul Bernays | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140363 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4159039 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4126324 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4074367 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078006 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778275 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4061923 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4772159 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636310 | 1971-01-01 | Paper |
| Algorithmic approximations | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605212 | 1970-01-01 | Paper |
| Geometry and language | 1970-01-01 | Paper |
| On the problem of foundations of category theory | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538913 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569439 | 1968-01-01 | Paper |
| Algorithmic properties of structures | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561942 | 1967-01-01 | Paper |
| On structures defined by mapping filters | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586249 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596746 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5641124 | 1964-01-01 | Paper |
| A reduction-principle for infinite formulas | 1963-01-01 | Paper |
| Unendliche Formeln in Der Modelltheorie | 1961-01-01 | Paper |
| Eine Konstruktion von Modellerweiterungen | 1959-01-01 | Paper |
| Äquivalenzklassen von n‐Tupeln | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3247416 | 1958-01-01 | Paper |
