| Publication | Date of Publication | Type |
|---|
| On logic and generative AI | 2024-08-21 | Paper |
| The railroad crossing problem: an experiment with instantaneous actions and immediate reactions | 2024-06-21 | Paper |
| Logical foundations: Personal perspective | 2024-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6190879 | 2024-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6190884 | 2024-02-06 | Paper |
| Metafinite model theory | 2023-12-12 | Paper |
| Primal logic of information | 2023-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6161060 | 2023-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6161064 | 2023-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6100192 | 2023-06-22 | Paper |
| Software science view on quantum circuit algorithms | 2023-05-19 | Paper |
| Negative probabilities: what are they for? * | 2023-02-10 | Paper |
| The 1966 International Congress of Mathematicians: A Micro-memoir | 2022-10-07 | Paper |
| Novosibirsk algebra and logic in the mid 1960s: A personal perspective | 2022-09-29 | Paper |
| Quantum circuits with classical channels and the principle of deferred measurements | 2022-05-17 | Paper |
| Boris Abramovich Trakhtenbrot | 2022-05-09 | Paper |
| Wigner's quasidistribution and Dirac's kets | 2022-04-28 | Paper |
| Logical foundations: Personal perspective | 2022-04-19 | Paper |
| Reversify any sequential algorithm | 2022-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384927 | 2021-12-17 | Paper |
| Simple circuit simulations of classical and quantum Turing machines | 2021-11-21 | Paper |
| Means-fit effectivity | 2021-08-30 | Paper |
| Quantum circuits with classical channels and the principle of deferred measurements | 2021-07-17 | Paper |
| Witness algebra and anyon braiding | 2020-12-08 | Paper |
| Negative probabilities | 2020-11-24 | Paper |
| Negative probabilities: What they are and what they are for | 2020-09-22 | Paper |
| On Quantum Computation, Anyons, and Categories | 2020-08-06 | Paper |
| Braided distributivity | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207879 | 2020-01-13 | Paper |
| Unconstrained Church-Turing thesis cannot possibly be true | 2020-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5207894 | 2020-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5203930 | 2019-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967179 | 2019-07-03 | Paper |
| Fundamentals of p-values: Introduction | 2019-07-03 | Paper |
| The 1966 International Congress of Mathematicians: A micro-memoir | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967230 | 2019-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967244 | 2019-07-03 | Paper |
| Tailoring recursion for complexity | 2019-04-29 | Paper |
| Monadic simultaneous rigid E-unification and related problems | 2018-07-04 | Paper |
| Semantics-to-Syntax Analyses of Algorithms | 2018-04-18 | Paper |
| Ordinary interactive small-step algorithms, I | 2017-07-12 | Paper |
| Ordinary interactive small-step algorithms, II | 2017-07-12 | Paper |
| Ordinary interactive small-step algorithms, III | 2017-07-12 | Paper |
| Program termination and well partial orderings | 2017-07-12 | Paper |
| Abstract state machines capture parallel algorithms | 2017-07-12 | Paper |
| Abstract state machines capture parallel algorithms | 2017-06-13 | Paper |
| Sequential abstract-state machines capture sequential algorithms | 2017-06-13 | Paper |
| Inadequacy of computable loop invariants | 2017-06-13 | Paper |
| Past Present | 2016-06-23 | Paper |
| A variation on the zero-one law | 2016-06-09 | Paper |
| Basic primal infon logic | 2016-04-28 | Paper |
| Optimal ancilla-free Pauli+V circuits for axial rotations | 2016-01-12 | Paper |
| Logic of infons | 2015-09-17 | Paper |
| Persistent queries in the behavioral theory of algorithms | 2015-09-17 | Paper |
| Ancilla-approximable quantum state transformations | 2015-05-15 | Paper |
| Zero-One Laws: Thesauri and Parametric Conditions | 2015-04-17 | Paper |
| Primal Infon Logic with Conjunctions as Sets | 2014-09-15 | Paper |
| Propositional primal logic with disjunction | 2014-04-01 | Paper |
| Abstract Hilbertian deductive systems, infon logic, and Datalog | 2014-01-16 | Paper |
| Interactive Algorithms 2005 with Added Appendix | 2013-06-18 | Paper |
| TRANSITIVE PRIMAL INFON LOGIC | 2013-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904108 | 2013-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904141 | 2013-01-28 | Paper |
| Impugning randomness, convincingly | 2012-10-01 | Paper |
| Foundational Analyses of Computation | 2012-08-14 | Paper |
| From Primal Infon Logic with Individual Variables to Datalog | 2012-07-23 | Paper |
| What Is an Algorithm? | 2012-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059192 | 2010-12-08 | Paper |
| Exact Exploration and Hanging Algorithms | 2010-09-03 | Paper |
| Content-dependent chunking for differential compression, the local maximum approach | 2010-05-25 | Paper |
| A geometric zero-one law | 2009-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3397633 | 2009-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396607 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396617 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396639 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395946 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395980 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396012 | 2009-09-15 | Paper |
| Database query processing using finite cursor machines | 2009-08-06 | Paper |
| When are Two Algorithms the Same? | 2009-06-17 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Abstract State Machines 2004. Advances in Theory and Practice | 2009-04-30 | Paper |
| Abstract State Machines 2004. Advances in Theory and Practice | 2009-04-30 | Paper |
| A Natural Axiomatization of Computability and Proof of Church's Thesis | 2009-03-25 | Paper |
| One Useful Logic That Defines Its Own Truth | 2009-02-03 | Paper |
| Proving Church’s Thesis | 2008-06-03 | Paper |
| Membership Problem for the Modular Group | 2008-04-22 | Paper |
| Interactive Small-Step Algorithms I: Axiomatization | 2008-04-01 | Paper |
| Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem | 2008-04-01 | Paper |
| Why Sets? | 2008-03-25 | Paper |
| Can abstract state machines be useful in language theory? | 2007-05-11 | Paper |
| Play to Test | 2007-05-02 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5493740 | 2006-10-16 | Paper |
| Semantic essence of AsmL | 2005-11-01 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Partial updates | 2005-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665729 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665733 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665734 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665736 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043795 | 2004-08-06 | Paper |
| Spectra of Monadic Second-Order Formulas with One Unary Function | 2004-04-07 | Paper |
| Strong extension axioms and Shelah's zero-one law for choiceless polynomial time | 2004-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436365 | 2003-12-04 | Paper |
| On polynomial time computation over unordered structures | 2003-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413671 | 2003-07-21 | Paper |
| Existential second-order logic over strings | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790404 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790397 | 2003-01-28 | Paper |
| Logic with equality: Partisan corroboration and shifted pairing | 2003-01-14 | Paper |
| Abstract state machines and computationally complete query languages | 2003-01-14 | Paper |
| Fixed Point Logics | 2003-01-13 | Paper |
| Definability in Rationals with Real Order in the Background | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152801 | 2002-10-23 | Paper |
| Addendum to ``Choiceless polynomial time | 2002-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767174 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753664 | 2001-12-03 | Paper |
| The Logic of Choice | 2001-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753663 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753700 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753706 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753707 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753719 | 2001-11-11 | Paper |
| The classical decision problem. | 2001-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4505700 | 2001-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729229 | 2001-07-18 | Paper |
| Definability and undefinability with real order at the background | 2001-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520489 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520492 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520494 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520496 | 2001-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525294 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790396 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790398 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790399 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790402 | 2001-01-01 | Paper |
| Choiceless polynomial time | 2000-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936147 | 2000-01-25 | Paper |
| Monadic simultaneous rigid \(E\)-unification | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268485 | 1999-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267174 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838767 | 1998-08-13 | Paper |
| Equivalence is in the eye of the beholder | 1998-07-22 | Paper |
| Metafinite model theory | 1998-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362725 | 1998-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4366883 | 1997-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3129297 | 1997-04-27 | Paper |
| On finite rigid structures | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691140 | 1997-01-14 | Paper |
| Evolving Algebras 1993: Lipari Guide | 1996-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873992 | 1996-08-18 | Paper |
| Normal forms for second-order logic over finite structures, and classification of NP optimization problems | 1996-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873995 | 1996-04-21 | Paper |
| Matrix Transformation Is Complete for the Average Case | 1996-01-08 | Paper |
| Tailoring recursion for complexity | 1995-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763510 | 1995-04-18 | Paper |
| Datalog vs first-order logic | 1995-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283242 | 1994-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281680 | 1994-03-10 | Paper |
| Randomizing Reductions of Search Problems | 1993-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035311 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036598 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005187 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971260 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971263 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4712666 | 1992-06-25 | Paper |
| Average case completeness | 1992-06-25 | Paper |
| Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729779 | 1989-01-01 | Paper |
| On matijasevitch's nontraditional approach to search problems | 1989-01-01 | Paper |
| Time polynomial in input or output | 1989-01-01 | Paper |
| On the strength of the interpretation method | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826533 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4203830 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3811701 | 1988-01-01 | Paper |
| Monotone versus positive | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3791123 | 1987-01-01 | Paper |
| Expected Computation Time for Hamiltonian Path problem | 1987-01-01 | Paper |
| Henkin quantifiers and complete problems | 1986-01-01 | Paper |
| Fixed-point extensions of first-order logic | 1986-01-01 | Paper |
| Definability by constant-depth polynomial-size circuits | 1986-01-01 | Paper |
| On the number of active nodes in a multicomputer system | 1986-01-01 | Paper |
| The decision problem for linear temporal logic | 1985-01-01 | Paper |
| The decision problem for branching time logic | 1985-01-01 | Paper |
| A zero-one law for logic with a fixed-point operator | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757893 | 1985-01-01 | Paper |
| The Theory of Ordered Abelian Groups does not have the Independence Property | 1984-01-01 | Paper |
| The monadic theory and the next world | 1984-01-01 | Paper |
| Equivalence Relations, Invariants, and Normal Forms | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3334986 | 1984-01-01 | Paper |
| A decidable subclass of the minimal Gödel class with identity | 1984-01-01 | Paper |
| The word problem for cancellation semigroups with zero | 1984-01-01 | Paper |
| A logic for constant-depth circuits | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758820 | 1984-01-01 | Paper |
| Solving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems | 1984-01-01 | Paper |
| Decision problem for separated distributive lattices | 1983-01-01 | Paper |
| The Word Problem for Lattice-Order Groups | 1983-01-01 | Paper |
| Random models and the Gödel case of the decision problem | 1983-01-01 | Paper |
| Rabin's uniformization problem | 1983-01-01 | Paper |
| The monadic theory of ω2 | 1983-01-01 | Paper |
| Interpreting second-order logic in the monadic theory of order | 1983-01-01 | Paper |
| Existential interpretation. II | 1982-01-01 | Paper |
| Prefix classes of krom formulae with identity | 1982-01-01 | Paper |
| On the unique satisfiability problem | 1982-01-01 | Paper |
| The inference problem for template dependencies | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3661557 | 1982-01-01 | Paper |
| Monadic theory of order and topology in ZFC | 1982-01-01 | Paper |
| Rigid homogeneous chains | 1981-01-01 | Paper |
| Recognizing the Real Line | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4745856 | 1981-01-01 | Paper |
| Two notes on formalized topology | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3889114 | 1980-01-01 | Paper |
| Modest theory of short chains. I | 1979-01-01 | Paper |
| Modest theory of short chains. II | 1979-01-01 | Paper |
| Monadic theory of order and topology. II | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4145700 | 1978-01-01 | Paper |
| Expanded theory of ordered Abelian groups | 1977-01-01 | Paper |
| Monadic theory of order and topology, I | 1977-01-01 | Paper |
| Intuitionistic logic with strong negation | 1977-01-01 | Paper |
| The decision problem for standard classes | 1976-01-01 | Paper |
| Semi-conservative reduction | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4769084 | 1974-01-01 | Paper |
| A resolving procedure for the extended theory of ordered abelian groups | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4049055 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4052108 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650383 | 1972-01-01 | Paper |
| Remarks on Berger's paper on the domino problem | 1972-01-01 | Paper |
| The decision problem for the logic of predicates and of operations | 1971-01-01 | Paper |
| A decision problem for decision problems | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078007 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5595157 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612468 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551461 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583935 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541326 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5547584 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567868 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5595156 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5661865 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4046036 | 1965-01-01 | Paper |
| Elementary properties of ordered abelian groups | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083888 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586259 | 1963-01-01 | Paper |
| McColm conjecture | N/A | Paper |
