| Publication | Date of Publication | Type |
|---|
Interactive classical algorithms: preview
Bulletin of the European Association for Theoretical Computer Science EATCS | 2026-05-12 | Paper |
| Reversify any sequential algorithm | 2026-04-29 | Paper |
The umbilical cord of finite model theory
Journal of Logic and Computation | 2025-10-29 | Paper |
Primal logic of information
ACM Transactions on Computational Logic | 2025-06-04 | Paper |
On a measure of intelligence
Bulletin of the European Association for Theoretical Computer Science EATCS | 2025-04-22 | Paper |
On logic and generative AI
Bulletin of the European Association for Theoretical Computer Science EATCS | 2024-08-21 | Paper |
| The railroad crossing problem: an experiment with instantaneous actions and immediate reactions | 2024-06-21 | Paper |
Logical foundations: personal perspective
Logic Journal of the IGPL | 2024-02-20 | Paper |
| What are kets? | 2024-02-06 | Paper |
| scientific article; zbMATH DE number 7800881 (Why is no real title available?) | 2024-02-06 | Paper |
Metafinite model theory
Lecture Notes in Computer Science | 2023-12-12 | Paper |
| Primal logic of information | 2023-07-12 | Paper |
scientific article; zbMATH DE number 7701441 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-26 | Paper |
| scientific article; zbMATH DE number 7701434 (Why is no real title available?) | 2023-06-26 | Paper |
| scientific article; zbMATH DE number 7701441 (Why is no real title available?) | 2023-06-26 | Paper |
scientific article; zbMATH DE number 7699974 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-22 | Paper |
Software science view on quantum circuit algorithms
Information and Computation | 2023-05-19 | Paper |
Negative probabilities: what are they for? <sup>*</sup>
Journal of Physics A: Mathematical and Theoretical | 2023-02-10 | Paper |
The 1966 International Congress of Mathematicians: A Micro-memoir
Fundamenta Informaticae | 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
Theoretical Computer Science | 2022-05-17 | Paper |
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
Wigner's quasidistribution and Dirac's kets
(available as arXiv preprint) | 2022-04-28 | Paper |
| Wigner's quasidistribution and Dirac's kets | 2022-04-28 | Paper |
Logical foundations: personal perspective
Bulletin of the European Association for Theoretical Computer Science EATCS | 2022-04-19 | Paper |
Reversify any sequential algorithm
(available as arXiv preprint) | 2022-04-19 | Paper |
| Reversify any sequential algorithm | 2022-04-19 | Paper |
| Common denominator for value and expectation no-go theorems: extended abstract | 2021-12-17 | Paper |
Common denominator for value and expectation no-go theorems: extended abstract
(available as arXiv preprint) | 2021-12-17 | Paper |
| Simple circuit simulations of classical and quantum Turing machines | 2021-11-21 | Paper |
Means-fit effectivity
(available as arXiv preprint) | 2021-08-30 | Paper |
| Means-fit effectivity | 2021-08-30 | Paper |
Quantum circuits with classical channels and the principle of deferred measurements
(available as arXiv preprint) | 2021-07-17 | Paper |
Witness algebra and anyon braiding
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
| Negative probabilities | 2020-11-24 | Paper |
Negative probabilities: What they are and what they are for
(available as arXiv preprint) | 2020-09-22 | Paper |
On quantum computation, anyons, and categories
Outstanding Contributions to Logic | 2020-08-06 | Paper |
Braided distributivity
Theoretical Computer Science | 2020-01-22 | Paper |
Circuit pedantry
(available as arXiv preprint) | 2020-01-13 | Paper |
| Circuit pedantry | 2020-01-13 | Paper |
Unconstrained Church-Turing thesis cannot possibly be true
(available as arXiv preprint) | 2020-01-13 | Paper |
| Unconstrained Church-Turing thesis cannot possibly be true | 2020-01-13 | Paper |
| scientific article; zbMATH DE number 7150615 (Why is no real title available?) | 2020-01-13 | Paper |
Negative probabilities. II. What they are and what they are for
(available as arXiv preprint) | 2019-12-09 | Paper |
| Negative probabilities. II. What they are and what they are for | 2019-12-09 | Paper |
Fundamentals of p-values: Introduction
(available as arXiv preprint) | 2019-07-03 | Paper |
| The 1966 International Congress of Mathematicians: A micro-memoir | 2019-07-03 | Paper |
The 1966 International Congress of Mathematicians: A micro-memoir
(available as arXiv preprint) | 2019-07-03 | Paper |
| On the rectilinear Steiner problem | 2019-07-03 | Paper |
| scientific article; zbMATH DE number 7075944 (Why is no real title available?) | 2019-07-03 | Paper |
| Fundamentals of p-values: Introduction | 2019-07-03 | Paper |
Negative probability
(available as arXiv preprint) | 2019-07-03 | Paper |
| Negative probability | 2019-07-03 | Paper |
scientific article; zbMATH DE number 7075944 (Why is no real title available?)
(available as arXiv preprint) | 2019-07-03 | Paper |
Tailoring recursion for complexity
Automata, Languages and Programming | 2019-04-29 | Paper |
Monadic simultaneous rigid E-unification and related problems
Automata, Languages and Programming | 2018-07-04 | Paper |
Semantics-to-Syntax Analyses of Algorithms
Turing’s Revolution | 2018-04-18 | Paper |
Ordinary interactive small-step algorithms. I
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, II
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Ordinary interactive small-step algorithms, III
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Program termination and well partial orderings
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms: correction and extension
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Inadequacy of computable loop invariants
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Past present
International Journal of Foundations of Computer Science | 2016-06-23 | Paper |
A variation on the zero-one law
Information Processing Letters | 2016-06-09 | Paper |
Basic primal infon logic
Journal of Logic and Computation | 2016-04-28 | Paper |
Optimal ancilla-free Pauli+V circuits for axial rotations
Journal of Mathematical Physics | 2016-01-12 | Paper |
Logic of infons, the propositional case
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Ancilla-approximable quantum state transformations
Journal of Mathematical Physics | 2015-05-15 | Paper |
Zero-one laws: thesauri and parametric conditions
Proof, Computation and Agency | 2015-04-17 | Paper |
Primal infon logic with conjunctions as sets
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Propositional primal logic with disjunction
Journal Of Logic And Computation | 2014-04-01 | Paper |
Abstract Hilbertian deductive systems, infon logic, and Datalog
Information and Computation | 2014-01-16 | Paper |
Interactive Algorithms 2005 with Added Appendix
Interactive Computation | 2013-06-18 | Paper |
Transitive primal infon logic
The Review of Symbolic Logic | 2013-06-18 | Paper |
| Impugning randomness, convincingly | 2013-01-28 | Paper |
| Hilbertian deductive systems, infon logic, and Datalog | 2013-01-28 | Paper |
Impugning randomness, convincingly
Studia Logica | 2012-10-01 | Paper |
Foundational analyses of computation
Lecture Notes in Computer Science | 2012-08-14 | Paper |
From primal infon logic with individual variables to Datalog
Correct Reasoning | 2012-07-23 | Paper |
What is an algorithm?
SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
| scientific article; zbMATH DE number 5823846 (Why is no real title available?) | 2010-12-08 | Paper |
Exact exploration and hanging algorithms
Computer Science Logic | 2010-09-03 | Paper |
Content-dependent chunking for differential compression, the local maximum approach
Journal of Computer and System Sciences | 2010-05-25 | Paper |
A geometric zero-one law
Journal of Symbolic Logic | 2009-09-29 | Paper |
| scientific article; zbMATH DE number 5606348 (Why is no real title available?) | 2009-09-22 | Paper |
| scientific article; zbMATH DE number 5605141 (Why is no real title available?) | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5605119 (Why is no real title available?) | 2009-09-19 | Paper |
| Zero-one laws: thesauri and parametric conditions. | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5604097 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5604128 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5604063 (Why is no real title available?) | 2009-09-15 | Paper |
Database query processing using finite cursor machines
Theory of Computing Systems | 2009-08-06 | Paper |
When are Two Algorithms the Same?
The Bulletin of Symbolic Logic | 2009-06-17 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Abstract State Machines 2004. Advances in Theory and Practice
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Abstract State Machines 2004. Advances in Theory and Practice
Lecture Notes in Computer Science | 2009-04-30 | Paper |
A Natural Axiomatization of Computability and Proof of Church's Thesis
The Bulletin of Symbolic Logic | 2009-03-25 | Paper |
One Useful Logic That Defines Its Own Truth
Lecture Notes in Computer Science | 2009-02-03 | Paper |
Proving Church’s Thesis
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Membership Problem for the Modular Group
SIAM Journal on Computing | 2008-04-22 | Paper |
Interactive Small-Step Algorithms I: Axiomatization
Logical Methods in Computer Science | 2008-04-01 | Paper |
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Logical Methods in Computer Science | 2008-04-01 | Paper |
Why Sets?
Pillars of Computer Science | 2008-03-25 | Paper |
Can abstract state machines be useful in language theory?
Theoretical Computer Science | 2007-05-11 | Paper |
Play to Test
Formal Approaches to Software Testing | 2007-05-02 | Paper |
Mathematical Foundations of Computer Science 2005
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| scientific article; zbMATH DE number 5064388 (Why is no real title available?) | 2006-10-16 | Paper |
Semantic essence of AsmL
Theoretical Computer Science | 2005-11-01 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Partial updates
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2155182 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155186 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155187 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155189 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2084324 (Why is no real title available?) | 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
Journal of Symbolic Logic | 2004-03-25 | Paper |
| scientific article; zbMATH DE number 2013198 (Why is no real title available?) | 2003-12-04 | Paper |
On polynomial time computation over unordered structures
Journal of Symbolic Logic | 2003-10-06 | Paper |
| scientific article; zbMATH DE number 1951184 (Why is no real title available?) | 2003-07-21 | Paper |
Existential second-order logic over strings
Journal of the ACM | 2003-06-25 | Paper |
| scientific article; zbMATH DE number 1860676 (Why is no real title available?) | 2003-05-21 | Paper |
| scientific article; zbMATH DE number 1860669 (Why is no real title available?) | 2003-01-28 | Paper |
Logic with equality: Partisan corroboration and shifted pairing
Information and Computation | 2003-01-14 | Paper |
Abstract state machines and computationally complete query languages
Information and Computation | 2003-01-14 | Paper |
Fixed Point Logics
The Bulletin of Symbolic Logic | 2003-01-13 | Paper |
Definability in Rationals with Real Order in the Background
Journal Of Logic And Computation | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1820018 (Why is no real title available?) | 2002-10-23 | Paper |
Addendum to ``Choiceless polynomial time''
Annals of Pure and Applied Logic | 2002-03-25 | Paper |
| scientific article; zbMATH DE number 1696889 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1670468 (Why is no real title available?) | 2001-12-03 | Paper |
The Logic of Choice
Journal of Symbolic Logic | 2001-11-23 | Paper |
| scientific article; zbMATH DE number 1670467 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670504 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670510 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670511 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1670522 (Why is no real title available?) | 2001-11-11 | Paper |
The classical decision problem.
Universitext | 2001-09-30 | Paper |
| scientific article; zbMATH DE number 1512073 (Why is no real title available?) | 2001-09-04 | Paper |
A new zero-one law and strong extension axioms
Bulletin of the European Association for Theoretical Computer Science EATCS | 2001-07-18 | Paper |
Definability and undefinability with real order at the background
Journal of Symbolic Logic | 2001-06-18 | Paper |
| scientific article; zbMATH DE number 1543044 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1543042 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1543040 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1543039 (Why is no real title available?) | 2001-02-26 | Paper |
| scientific article; zbMATH DE number 1555194 (Why is no real title available?) | 2001-01-22 | Paper |
| scientific article; zbMATH DE number 1860674 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860671 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860670 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860668 (Why is no real title available?) | 2001-01-01 | Paper |
Choiceless polynomial time
Annals of Pure and Applied Logic | 2000-04-13 | Paper |
| scientific article; zbMATH DE number 1392308 (Why is no real title available?) | 2000-01-25 | Paper |
Monadic simultaneous rigid E-unification
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1354170 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1343482 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1189065 (Why is no real title available?) | 1998-08-13 | Paper |
Equivalence is in the eye of the beholder
Theoretical Computer Science | 1998-07-22 | Paper |
Metafinite model theory
Information and Computation | 1998-05-04 | Paper |
| scientific article; zbMATH DE number 1086487 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 1091108 (Why is no real title available?) | 1997-11-25 | Paper |
| scientific article; zbMATH DE number 1004365 (Why is no real title available?) | 1997-04-27 | Paper |
On finite rigid structures
Journal of Symbolic Logic | 1997-04-21 | Paper |
| scientific article; zbMATH DE number 965572 (Why is no real title available?) | 1997-01-14 | Paper |
Evolving Algebras 1993: Lipari Guide
(available as arXiv preprint) | 1996-12-11 | Paper |
| scientific article; zbMATH DE number 868108 (Why is no real title available?) | 1996-08-18 | Paper |
Normal forms for second-order logic over finite structures, and classification of NP optimization problems
Annals of Pure and Applied Logic | 1996-07-24 | Paper |
| scientific article; zbMATH DE number 868110 (Why is no real title available?) | 1996-04-21 | Paper |
Matrix Transformation Is Complete for the Average Case
SIAM Journal on Computing | 1996-01-08 | Paper |
Tailoring recursion for complexity
Journal of Symbolic Logic | 1995-12-19 | Paper |
| scientific article; zbMATH DE number 743583 (Why is no real title available?) | 1995-04-18 | Paper |
Datalog vs first-order logic
Journal of Computer and System Sciences | 1995-01-15 | Paper |
| scientific article; zbMATH DE number 515739 (Why is no real title available?) | 1994-06-02 | Paper |
| scientific article; zbMATH DE number 512968 (Why is no real title available?) | 1994-03-10 | Paper |
Randomizing Reductions of Search Problems
SIAM Journal on Computing | 1993-12-20 | Paper |
| scientific article; zbMATH DE number 176768 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176207 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 58300 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 8772 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4779 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 8775 (Why is no real title available?) | 1992-06-25 | Paper |
Average case completeness
Journal of Computer and System Sciences | 1992-06-25 | Paper |
Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space
Journal of the ACM | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4101157 (Why is no real title available?) | 1989-01-01 | Paper |
On matijasevitch's nontraditional approach to search problems
Information Processing Letters | 1989-01-01 | Paper |
On the strength of the interpretation method
Journal of Symbolic Logic | 1989-01-01 | Paper |
Time polynomial in input or output
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4114620 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4123320 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4080902 (Why is no real title available?) | 1988-01-01 | Paper |
Monotone versus positive
Journal of the ACM | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4055578 (Why is no real title available?) | 1987-01-01 | Paper |
Expected Computation Time for Hamiltonian Path problem
SIAM Journal on Computing | 1987-01-01 | Paper |
Definability by constant-depth polynomial-size circuits
Information and Control | 1986-01-01 | Paper |
On the number of active nodes in a multicomputer system
Networks | 1986-01-01 | Paper |
Henkin quantifiers and complete problems
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
Fixed-point extensions of first-order logic
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
The decision problem for linear temporal logic
Notre Dame Journal of Formal Logic | 1985-01-01 | Paper |
The decision problem for branching time logic
Journal of Symbolic Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4006233 (Why is no real title available?) | 1985-01-01 | Paper |
A zero-one law for logic with a fixed-point operator
Information and Control | 1985-01-01 | Paper |
The monadic theory and the ''next world''
Israel Journal of Mathematics | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3868613 (Why is no real title available?) | 1984-01-01 | Paper |
Equivalence Relations, Invariants, and Normal Forms
SIAM Journal on Computing | 1984-01-01 | Paper |
A decidable subclass of the minimal Gödel class with identity
Journal of Symbolic Logic | 1984-01-01 | Paper |
The word problem for cancellation semigroups with zero
Journal of Symbolic Logic | 1984-01-01 | Paper |
A logic for constant-depth circuits
Information and Control | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 4008383 (Why is no real title available?) | 1984-01-01 | Paper |
Solving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems
Journal of the ACM | 1984-01-01 | Paper |
| The Theory of Ordered Abelian Groups does not have the Independence Property | 1984-01-01 | Paper |
Decision problem for separated distributive lattices
Journal of Symbolic Logic | 1983-01-01 | Paper |
The Word Problem for Lattice-Order Groups
Transactions of the American Mathematical Society | 1983-01-01 | Paper |
Random models and the Gödel case of the decision problem
Journal of Symbolic Logic | 1983-01-01 | Paper |
Rabin's uniformization problem
Journal of Symbolic Logic | 1983-01-01 | Paper |
The monadic theory of <i>ω</i><sub>2</sub>
Journal of Symbolic Logic | 1983-01-01 | Paper |
Interpreting second-order logic in the monadic theory of order
Journal of Symbolic Logic | 1983-01-01 | Paper |
On the unique satisfiability problem
Information and Control | 1982-01-01 | Paper |
Monadic theory of order and topology in ZFC
Annals of Mathematical Logic | 1982-01-01 | Paper |
The inference problem for template dependencies
Information and Control | 1982-01-01 | Paper |
Prefix classes of krom formulae with identity
Archiv für mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
Existential interpretation. II
Archiv für Mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3813598 (Why is no real title available?) | 1982-01-01 | Paper |
Rigid homogeneous chains
Mathematical Proceedings of the Cambridge Philosophical Society | 1981-01-01 | Paper |
| Recognizing the Real Line | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3801594 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3695274 (Why is no real title available?) | 1980-01-01 | Paper |
Two notes on formalized topology
Fundamenta Mathematicae | 1980-01-01 | Paper |
Monadic theory of order and topology. II
Israel Journal of Mathematics | 1979-01-01 | Paper |
Modest theory of short chains. I
Journal of Symbolic Logic | 1979-01-01 | Paper |
Modest theory of short chains. II
Journal of Symbolic Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3573854 (Why is no real title available?) | 1978-01-01 | Paper |
Intuitionistic logic with strong negation
Studia Logica | 1977-01-01 | Paper |
Expanded theory of ordered Abelian groups
Annals of Mathematical Logic | 1977-01-01 | Paper |
Monadic theory of order and topology, I
Israel Journal of Mathematics | 1977-01-01 | Paper |
Semi-conservative reduction
Archiv für Mathematische Logik und Grundlagenforschung | 1976-01-01 | Paper |
The decision problem for standard classes
Journal of Symbolic Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3443696 (Why is no real title available?) | 1974-01-01 | Paper |
A resolving procedure for the extended theory of ordered abelian groups
Siberian Mathematical Journal | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3467075 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3463622 (Why is no real title available?) | 1973-01-01 | Paper |
Remarks on Berger's paper on the domino problem
Siberian Mathematical Journal | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3380607 (Why is no real title available?) | 1972-01-01 | Paper |
A decision problem for decision problems
Algebra and Logic | 1971-01-01 | Paper |
The decision problem for the logic of predicates and of operations
Algebra and Logic | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3496135 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3316038 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3335023 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3302387 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3264940 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3254893 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3261616 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3285229 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3392429 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3316037 (Why is no real title available?) | 1966-01-01 | Paper |
Elementary properties of ordered abelian groups
Eleven Papers on Number Theory, Algebra and Functions of a Complex Variable | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3460261 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3501768 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3304949 (Why is no real title available?) | 1963-01-01 | Paper |
McColm conjecture
(available as arXiv preprint) | N/A | Paper |
