| Publication | Date of Publication | Type |
|---|
| The Swiss connection | 2026-04-29 | Paper |
Aristotle’s Relations: An Interpretation in Combinatory Logic
Axiomatic Thinking I | 2022-12-14 | Paper |
Aristotle' Relations: An Interpretation in Combinatory Logic
(available as arXiv preprint) | 2020-07-06 | Paper |
scientific article; zbMATH DE number 7089067 (Why is no real title available?)
(available as arXiv preprint) | 2019-08-06 | Paper |
Neural algebra on ``how does the brain think?''
Theoretical Computer Science | 2019-06-18 | Paper |
A Forgotten Theory of Proofs ?
(available as arXiv preprint) | 2018-09-25 | Paper |
Formal universes
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Remembering Ernst Specker (1920--2011)
Elemente der Mathematik | 2012-09-21 | Paper |
In memoriam: Ernst Specker, 1920-2011
The Bulletin of Symbolic Logic | 2012-09-19 | Paper |
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets
Algebraic Biology | 2009-02-03 | Paper |
| scientific article; zbMATH DE number 837779 (Why is no real title available?) | 1996-07-21 | Paper |
| scientific article; zbMATH DE number 722586 (Why is no real title available?) | 1995-02-13 | Paper |
| scientific article; zbMATH DE number 204990 (Why is no real title available?) | 1993-06-17 | Paper |
| scientific article; zbMATH DE number 192944 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 53530 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 19154 (Why is no real title available?) | 1992-06-26 | Paper |
Combinatory differential fields
Theoretical Computer Science | 1990-01-01 | Paper |
Representation of varieties in combinatory algebras
Algebra Universalis | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4039258 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4037184 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4081503 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3917697 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3889503 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3813580 (Why is no real title available?) | 1983-01-01 | Paper |
Algebras and combinators
Algebra Universalis | 1981-01-01 | Paper |
Generalized galois theory and its application to complexity
Theoretical Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3784878 (Why is no real title available?) | 1981-01-01 | Paper |
Zum logischen Werk von Paul Bernays
Dialectica | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3569806 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3591973 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3552492 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3496134 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3492141 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3454799 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3446383 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3478362 (Why is no real title available?) | 1973-01-01 | Paper |
Algorithmic approximations
Journal of Computer and System Sciences | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3362975 (Why is no real title available?) | 1971-01-01 | Paper |
Geometry and language
Dialectica | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3326459 (Why is no real title available?) | 1970-01-01 | Paper |
On the problem of foundations of category theory
Dialectica | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3252196 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3286020 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3277469 (Why is no real title available?) | 1967-01-01 | Paper |
Algorithmic properties of structures
Mathematical Systems Theory | 1967-01-01 | Paper |
On structures defined by mapping filters
Mathematische Annalen | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3304940 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3316885 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3368603 (Why is no real title available?) | 1964-01-01 | Paper |
A reduction-principle for infinite formulas
Mathematische Annalen | 1963-01-01 | Paper |
Unendliche Formeln in Der Modelltheorie
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Eine Konstruktion von Modellerweiterungen
Mathematical Logic Quarterly | 1959-01-01 | Paper |
Äquivalenzklassen von <i>n</i>‐Tupeln
Mathematical Logic Quarterly | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3131396 (Why is no real title available?) | 1958-01-01 | Paper |
