| Publication | Date of Publication | Type |
|---|
| Deterministic Verification of Integer Matrix Multiplication in Quadratic Time | 2015-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4429280 | 2003-09-25 | Paper |
| A list of arithmetical structures complete with respect to the first-order definability | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4509077 | 2000-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837800 | 2000-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4239686 | 1999-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699312 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842688 | 1999-02-04 | Paper |
| Theories of generalized Pascal triangles | 1998-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4389689 | 1998-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348798 | 1997-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353517 | 1997-12-08 | Paper |
| Small universal register machines | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273426 | 1996-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4886957 | 1996-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4839134 | 1995-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763283 | 1995-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327098 | 1995-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4272745 | 1994-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142027 | 1994-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4291529 | 1994-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4274072 | 1993-12-20 | Paper |
| Irrational speeds of configurations growth in generalized Pascal triangles | 1993-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4034180 | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4034181 | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018757 | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3974870 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3471702 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3483340 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3361903 | 1989-01-01 | Paper |
| Improvement of Mycielski's inequality for non-natural disjoint covering systems of \({\mathbb{Z}}\) | 1987-01-01 | Paper |
| A Note on the 3x + 1 Problem | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742719 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3744216 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3753492 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3715214 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745840 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3752450 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723793 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218195 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3330503 | 1984-01-01 | Paper |
| Irreducible disjoint covering systems | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3328616 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672057 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731917 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4742840 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907621 | 1981-01-01 | Paper |
| A Ring with Arithmetical Congruence Lattice Not Preserved by Any Pixley Function | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3932301 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936806 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671944 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861455 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198486 | 1979-01-01 | Paper |
| On a problem of V. Pták | 1978-01-01 | Paper |
| A Ternary Function for Distributivity and Permutability of an Equivalence Lattice | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4131021 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133966 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170900 | 1977-01-01 | Paper |
| Model-interpretability into trees and applications | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4106179 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4043086 | 1974-01-01 | Paper |
| Definability in structures of finite valency | 1974-01-01 | Paper |
| On a generalization of Mycielski's and Znám's conjectures about coset decomposition of Abelian groups | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128548 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654260 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5670614 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5618349 | 1970-01-01 | Paper |
| The proof of axioms of constructivity in the theory of finitr sets | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5533195 | 1966-01-01 | Paper |
