| Publication | Date of Publication | Type |
|---|
| John Crossley: A life intellectual | 2024-02-20 | Paper |
| Automatic presentations of structures | 2023-12-12 | Paper |
| Algebraic Curves and Riemann Surfaces for Undergraduates | 2022-09-06 | Paper |
| On logical constraints in logic programming | 2022-08-30 | Paper |
| Editorial | 2022-02-08 | Paper |
| Tableaux for functional dependencies and independencies | 2019-01-15 | Paper |
| IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015 | 2017-05-26 | Paper |
| Prequel to the Cornell Computer Science Department | 2017-04-04 | Paper |
| Discussion on: ``An optimal control approach for hybrid systems | 2014-08-07 | Paper |
| The life and work of Sergei Artemov | 2014-01-13 | Paper |
| A Small Tribute | 2012-07-16 | Paper |
| In Memoriam: Paul J. Cohen 1934–2007 | 2010-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396632 | 2009-09-19 | Paper |
| Consistency properties and set based logic programming | 2009-07-06 | Paper |
| Effective dimension of points visited by Brownian motion | 2009-03-02 | Paper |
| A Synthesis Algorithm for Hybrid Systems | 2008-01-04 | Paper |
| The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion | 2008-01-04 | Paper |
| Logic and Control | 2007-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3447201 | 2007-06-28 | Paper |
| Tableaux for constructive concurrent dynamic logic | 2005-08-25 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| Effective completeness theorems for modal logic | 2004-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736581 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781597 | 2003-06-17 | Paper |
| Normal forms and syntactic completeness proofs for functional independencies | 2002-03-03 | Paper |
| Automata theory and its applications | 2001-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501143 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501152 | 2000-09-03 | Paper |
| Nonmonotonic rule systems with recursive sets of restraints | 2000-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246831 | 2000-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4379673 | 2000-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249355 | 2000-02-15 | Paper |
| Decidable Kripke models of intuitionistic theories | 1999-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246816 | 1999-09-02 | Paper |
| Logic programs, well-orderings, and forward chaining | 1999-06-24 | Paper |
| Computable Kripke models and intermediate logics | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397047 | 1998-06-25 | Paper |
| A theory of nonmonotonic rule systems I | 1997-12-14 | Paper |
| A theory of nonmonotonic rule systems. II | 1997-05-13 | Paper |
| Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma | 1997-04-10 | Paper |
| McNaughton games and extracting strategies for concurrent programs | 1997-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125203 | 1997-03-17 | Paper |
| Annotated nonmonotonic rule systems | 1997-02-28 | Paper |
| Viability in hybrid systems | 1997-02-28 | Paper |
| A non-ground realization of the stable and well-founded semantics | 1997-02-27 | Paper |
| Computing minimal models by partial instantiation | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4718430 | 1996-12-03 | Paper |
| Preface to the special volume dedicated to the late Stephen Cole Kleene | 1996-11-25 | Paper |
| On the lattices of NP-subspaces of a polynomial time vector space over a finite field | 1996-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850551 | 1995-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4846259 | 1995-08-23 | Paper |
| Computing circumscriptive databases | 1995-04-10 | Paper |
| Mixed integer programming methods for computing nonmonotonic deductive databases | 1995-04-10 | Paper |
| The Stable Models of a Predicate Logic Program | 1995-02-06 | Paper |
| A context for belief revision: forward chaining-normal nonmonotonic rule systems | 1994-11-03 | Paper |
| Computing definite logic programs by partial instantiation | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035316 | 1993-05-18 | Paper |
| How complicated is the set of stable models of a recursive logic program? | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010366 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3478393 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481670 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484825 | 1990-01-01 | Paper |
| Complexity-theoretic algebra. II: Boolean algebras | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204445 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815528 | 1987-01-01 | Paper |
| Generic objects in recursion theory. II: Operations on recursive approximation spaces | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3766839 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690803 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727983 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778751 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342515 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343973 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041178 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749832 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3913562 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919698 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926567 | 1981-01-01 | Paper |
| Recursion theory on fields and abstract dependence | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3897041 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3916564 | 1980-01-01 | Paper |
| Reducibility orderings: Theories, definability and automorphisms | 1980-01-01 | Paper |
| Effective content of field theory | 1979-01-01 | Paper |
| Recursively enumerable vector spaces | 1977-01-01 | Paper |
| Effective dimension | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4058646 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063426 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071223 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087158 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769050 | 1974-01-01 | Paper |
| A universal embedding property of the RETs | 1970-01-01 | Paper |
| Diophantine correct non-standard models in the isols | 1966-01-01 | Paper |
| Combinatorial series and recursive equivalence types | 1966-01-01 | Paper |
| Non-linear combinatorial functions of isols | 1965-01-01 | Paper |
| Additive relations among recursive equivalence types | 1965-01-01 | Paper |
| A decision method for $p$-adic integral zeros of diophantine equations | 1963-01-01 | Paper |
| Extensions to isolic integers | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567853 | 1962-01-01 | Paper |
| Extensions to isols | 1961-01-01 | Paper |
| An Algebraic Proof of Kirchhoff's Network Theorem | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537332 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599151 | 1960-01-01 | Paper |
| Some Stone spaces and recursion theory | 1959-01-01 | Paper |
| Composita, Equations, and Freely Generated Algebras | 1959-01-01 | Paper |
| Linear Automaton Transformations | 1958-01-01 | Paper |
