| Publication | Date of Publication | Type |
|---|
Two First-Order Theories of Ordinals
Fields of Logic and Computation III | 2022-11-09 | Paper |
Axiomatization of typed first-order logic
FM 2015: Formal Methods | 2019-12-19 | Paper |
A tableau calculus for first-order branching time logic
Practical Reasoning | 2019-04-29 | Paper |
| Proving JDK's dual pivot quicksort correct | 2018-12-07 | Paper |
| A mechanizable first-order theory of ordinals | 2018-02-02 | Paper |
Information flow in object-oriented software
Logic-Based Program Synthesis and Transformation | 2015-11-30 | Paper |
Dynamic frames in Java dynamic logic
Formal Verification of Object-Oriented Software | 2011-01-21 | Paper |
| Platonic and Archimedean solids. Development of definitions. | 2010-03-04 | Paper |
KeY: A Formal Method for Object-Oriented Systems
Lecture Notes in Computer Science | 2007-11-28 | Paper |
| scientific article; zbMATH DE number 2087530 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084328 (Why is no real title available?) | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 2006638 (Why is no real title available?) | 2003-11-23 | Paper |
| scientific article; zbMATH DE number 1759367 (Why is no real title available?) | 2002-11-25 | Paper |
| Implementing semantic tableaux | 2001-11-14 | Paper |
| scientific article; zbMATH DE number 1552511 (Why is no real title available?) | 2001-01-15 | Paper |
Triples of prototiles (with prescribed properties) in space
Periodica Mathematica Hungarica | 1999-03-14 | Paper |
Spacefilling knots
Beiträge zur Algebra und Geometrie | 1998-03-19 | Paper |
Spacefilling knots
Beiträge zur Algebra und Geometrie | 1998-03-19 | Paper |
Spacefilling knots
Beiträge zur Algebra und Geometrie | 1998-03-19 | Paper |
A description of the tableau method using abstract state machines
Journal Of Logic And Computation | 1997-11-04 | Paper |
Automated Deduction with Shannon Graphs
Journal Of Logic And Computation | 1996-09-15 | Paper |
The liberalized \(\delta\)-rule in free variable semantic tableaux
Journal of Automated Reasoning | 1995-02-22 | Paper |
| scientific article; zbMATH DE number 517067 (Why is no real title available?) | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 480238 (Why is no real title available?) | 1994-01-03 | Paper |
Theory of logic programming. An elementary introduction
Springer-Lehrbuch | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 67965 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 67964 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 51244 (Why is no real title available?) | 1992-09-18 | Paper |
Disks with special properties of densest packings
Discrete & Computational Geometry | 1991-01-01 | Paper |
n-homeohedral types of tilings
Geometriae Dedicata | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4176512 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4085614 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4088915 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4096272 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4100065 (Why is no real title available?) | 1988-01-01 | Paper |
Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
Informatik. Forschung und Entwicklung | 1987-01-01 | Paper |
\(\sigma\)-morphic sets of prototiles
Discrete & Computational Geometry | 1987-01-01 | Paper |
Sets of tiles with a prescribed number of tilings
Geometriae Dedicata | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4049622 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3974951 (Why is no real title available?) | 1986-01-01 | Paper |
Pairs of tiles which admit finitely or countably infinitely many tilings
Geometriae Dedicata | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4019086 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3937954 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3961634 (Why is no real title available?) | 1985-01-01 | Paper |
| The Theory of Ordered Abelian Groups does not have the Independence Property | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3893182 (Why is no real title available?) | 1984-01-01 | Paper |
Undecidable theories of valuated abelian groups
Mémoires de la Société mathématique de France | 1984-01-01 | Paper |
Undecidable theories of valuated abelian groups
Mémoires de la Société mathématique de France | 1984-01-01 | Paper |
Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem
Information and Control | 1984-01-01 | Paper |
The $L^t$-theory of profinite abelian groups
Fundamenta Mathematicae | 1983-01-01 | Paper |
Algebraically complete lattices
Algebra Universalis | 1983-01-01 | Paper |
Locally pure topological Abelian groups: Elementary invariants
Annals of Pure and Applied Logic | 1983-01-01 | Paper |
The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup
Mathematical Logic Quarterly | 1982-01-01 | Paper |
Undecidable Lt theories of topological abelian groups
Journal of Symbolic Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3648640 (Why is no real title available?) | 1979-01-01 | Paper |
Normal double Stone algebras
Algebra Universalis | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3547283 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3547283 (Why is no real title available?) | 1976-01-01 | Paper |
Spreading information by conferences
Discrete Mathematics | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3480715 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3525238 (Why is no real title available?) | 1975-01-01 | Paper |
Erzeugung äquivalenter Summierungsverfahren durch Matrizenprodukte
Monatshefte für Mathematik | 1974-01-01 | Paper |
Lineare Gleichverteilung
Manuscripta Mathematica | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3474226 (Why is no real title available?) | 1973-01-01 | Paper |
