| Publication | Date of Publication | Type |
|---|
John Crossley: A life intellectual
Logic Journal of the IGPL | 2024-02-20 | Paper |
Automatic presentations of structures
Lecture Notes in Computer Science | 2023-12-12 | Paper |
| Algebraic Curves and Riemann Surfaces for Undergraduates | 2022-09-06 | Paper |
On logical constraints in logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Editorial
Journal Of Logic And Computation | 2022-02-08 | Paper |
Tableaux for functional dependencies and independencies
Lecture Notes in Computer Science | 2019-01-15 | Paper |
IN MEMORIAM: HARTLEY ROGERS, JR. 1926–2015
The Bulletin of Symbolic Logic | 2017-05-26 | Paper |
Prequel to the Cornell computer science department
Computability and Complexity | 2017-04-04 | Paper |
Discussion on: ``An optimal control approach for hybrid systems
European Journal of Control | 2014-08-07 | Paper |
The life and work of Sergei Artemov
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
A Small Tribute
Logic and Program Semantics | 2012-07-16 | Paper |
In Memoriam: Paul J. Cohen 1934–2007
The Bulletin of Symbolic Logic | 2010-01-07 | Paper |
| scientific article; zbMATH DE number 5605134 (Why is no real title available?) | 2009-09-19 | Paper |
Consistency properties and set based logic programming
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Effective dimension of points visited by Brownian motion
Theoretical Computer Science | 2009-03-02 | Paper |
The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion
Logical Foundations of Computer Science | 2008-01-04 | Paper |
A Synthesis Algorithm for Hybrid Systems
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Logic and Control
Lecture Notes in Computer Science | 2007-11-13 | Paper |
| Beyond hybrid systems | 2007-06-28 | Paper |
Tableaux for constructive concurrent dynamic logic
Annals of Pure and Applied Logic | 2005-08-25 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Effective completeness theorems for modal logic
Annals of Pure and Applied Logic | 2004-08-16 | Paper |
| scientific article; zbMATH DE number 2085322 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1827823 (Why is no real title available?) | 2003-06-17 | Paper |
Normal forms and syntactic completeness proofs for functional independencies
Theoretical Computer Science | 2002-03-03 | Paper |
Automata theory and its applications
Progress in Computer Science and Applied Logic | 2001-07-09 | Paper |
| scientific article; zbMATH DE number 1499098 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1499089 (Why is no real title available?) | 2000-09-03 | Paper |
Nonmonotonic rule systems with recursive sets of restraints
Archive for Mathematical Logic | 2000-06-14 | Paper |
| scientific article; zbMATH DE number 1301629 (Why is no real title available?) | 2000-05-07 | Paper |
| scientific article; zbMATH DE number 1123617 (Why is no real title available?) | 2000-03-14 | Paper |
| scientific article; zbMATH DE number 1302869 (Why is no real title available?) | 2000-02-15 | Paper |
Decidable Kripke models of intuitionistic theories
Annals of Pure and Applied Logic | 1999-11-16 | Paper |
| scientific article; zbMATH DE number 1301617 (Why is no real title available?) | 1999-09-02 | Paper |
Logic programs, well-orderings, and forward chaining
Annals of Pure and Applied Logic | 1999-06-24 | Paper |
Computable Kripke models and intermediate logics
Information and Computation | 1999-01-18 | Paper |
| scientific article; zbMATH DE number 1169395 (Why is no real title available?) | 1998-06-25 | Paper |
A theory of nonmonotonic rule systems I
Annals of Mathematics and Artificial Intelligence | 1997-12-14 | Paper |
A theory of nonmonotonic rule systems. II
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma
Annals of Pure and Applied Logic | 1997-04-10 | Paper |
McNaughton games and extracting strategies for concurrent programs
Annals of Pure and Applied Logic | 1997-03-31 | Paper |
| scientific article; zbMATH DE number 992300 (Why is no real title available?) | 1997-03-17 | Paper |
Annotated nonmonotonic rule systems
Theoretical Computer Science | 1997-02-28 | Paper |
Viability in hybrid systems
Theoretical Computer Science | 1997-02-28 | Paper |
A non-ground realization of the stable and well-founded semantics
Theoretical Computer Science | 1997-02-27 | Paper |
Computing minimal models by partial instantiation
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 953819 (Why is no real title available?) | 1996-12-03 | Paper |
Preface to the special volume dedicated to the late Stephen Cole Kleene
Annals of Pure and Applied Logic | 1996-11-25 | Paper |
On the lattices of NP-subspaces of a polynomial time vector space over a finite field
Annals of Pure and Applied Logic | 1996-11-25 | Paper |
| scientific article; zbMATH DE number 806750 (Why is no real title available?) | 1995-10-17 | Paper |
| scientific article; zbMATH DE number 789391 (Why is no real title available?) | 1995-08-23 | Paper |
Computing circumscriptive databases
Information and Computation | 1995-04-10 | Paper |
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM | 1995-04-10 | Paper |
The Stable Models of a Predicate Logic Program
The Journal of Logic Programming | 1995-02-06 | Paper |
A context for belief revision: forward chaining-normal nonmonotonic rule systems
Annals of Pure and Applied Logic | 1994-11-03 | Paper |
Computing definite logic programs by partial instantiation
Annals of Pure and Applied Logic | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 176212 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 65755 (Why is no real title available?) | 1992-09-27 | Paper |
How complicated is the set of stable models of a recursive logic program?
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4152338 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4148067 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4156426 (Why is no real title available?) | 1990-01-01 | Paper |
Complexity-theoretic algebra. II: Boolean algebras
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4181310 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4087025 (Why is no real title available?) | 1987-01-01 | Paper |
Generic objects in recursion theory. II: Operations on recursive approximation spaces
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4024772 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4039896 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3914305 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3959412 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3875210 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3878912 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3805536 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3833945 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3732033 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3739519 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3724664 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3728252 (Why is no real title available?) | 1980-01-01 | Paper |
Reducibility orderings: Theories, definability and automorphisms
Annals of Mathematical Logic | 1980-01-01 | Paper |
Recursion theory on fields and abstract dependence
Journal of Algebra | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3704568 (Why is no real title available?) | 1980-01-01 | Paper |
Effective content of field theory
Annals of Mathematical Logic | 1979-01-01 | Paper |
Recursively enumerable vector spaces
Annals of Mathematical Logic | 1977-01-01 | Paper |
Effective dimension
Journal of Algebra | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3478856 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3475417 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3506664 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3487430 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3443640 (Why is no real title available?) | 1974-01-01 | Paper |
A universal embedding property of the RETs
Journal of Symbolic Logic | 1970-01-01 | Paper |
Diophantine correct non-standard models in the isols
Annals of Mathematics. Second Series | 1966-01-01 | Paper |
Combinatorial series and recursive equivalence types
Fundamenta Mathematicae | 1966-01-01 | Paper |
Non-linear combinatorial functions of isols
Mathematische Zeitschrift | 1965-01-01 | Paper |
Additive relations among recursive equivalence types
Mathematische Annalen | 1965-01-01 | Paper |
A decision method for $p$-adic integral zeros of diophantine equations
Bulletin of the American Mathematical Society | 1963-01-01 | Paper |
Extensions to isolic integers
Annals of Mathematics. Second Series | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3285215 (Why is no real title available?) | 1962-01-01 | Paper |
An Algebraic Proof of Kirchhoff's Network Theorem
The American Mathematical Monthly | 1961-01-01 | Paper |
Extensions to isols
Annals of Mathematics. Second Series | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3250519 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319527 (Why is no real title available?) | 1960-01-01 | Paper |
Some Stone spaces and recursion theory
Duke Mathematical Journal | 1959-01-01 | Paper |
| Composita, Equations, and Freely Generated Algebras | 1959-01-01 | Paper |
| Linear Automaton Transformations | 1958-01-01 | Paper |
