| Publication | Date of Publication | Type |
|---|
Discrete Mathematics
Synthesis Lectures on Mathematics & Statistics | 2023-08-28 | Paper |
An Arithmetically Complete Predicate Modal Logic
Bulletin of the Section of Logic | 2023-05-04 | Paper |
| Computability | 2021-09-30 | Paper |
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Bulletin of the Section of Logic | 2017-01-27 | Paper |
A short and readable proof of cut elimination for two first-order modal logics
Bulletin of the Section of Logic | 2016-05-31 | Paper |
| On the proof-theory of a first-order extension of GL | 2015-04-09 | Paper |
| A proof theoretic tool for first-order modal logic | 2014-04-29 | Paper |
| A new foundation of a complete Boolean equational logic | 2014-04-23 | Paper |
| scientific article; zbMATH DE number 6287652 (Why is no real title available?) | 2014-04-23 | Paper |
| Theory of computation | 2012-04-27 | Paper |
| scientific article; zbMATH DE number 5937718 (Why is no real title available?) | 2011-08-10 | Paper |
On the proof-theory of two formalisations of modal first-order logic
Studia Logica | 2011-02-03 | Paper |
| scientific article; zbMATH DE number 5306054 (Why is no real title available?) | 2008-07-30 | Paper |
A Modal Extension of Weak Generalisation Predicate Logic
Logic Journal of the IGPL | 2007-04-19 | Paper |
| scientific article; zbMATH DE number 2109537 (Why is no real title available?) | 2004-10-25 | Paper |
| scientific article; zbMATH DE number 2097565 (Why is no real title available?) | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2015281 (Why is no real title available?) | 2003-12-09 | Paper |
| scientific article; zbMATH DE number 2015284 (Why is no real title available?) | 2003-12-09 | Paper |
| scientific article; zbMATH DE number 1849876 (Why is no real title available?) | 2003-01-07 | Paper |
| scientific article; zbMATH DE number 1849875 (Why is no real title available?) | 2003-01-07 | Paper |
| scientific article; zbMATH DE number 1735623 (Why is no real title available?) | 2002-04-29 | Paper |
On the soundness and completeness of equational predicate logics
Journal of Logic and Computation | 2002-01-07 | Paper |
Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles
Mathematical Logic Quarterly | 1997-05-27 | Paper |
Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3922632 (Why is no real title available?) | 1984-01-01 | Paper |
An inductive number-theoretic characterization of NP
Information Processing Letters | 1984-01-01 | Paper |
ON The Parallel Simulation Of Sequential Transducers*
INFOR: Information Systems and Operational Research | 1981-01-01 | Paper |
Homological Methods for the Classification of Discrete Euclidean Structures
SIAM Journal on Applied Mathematics | 1977-01-01 | Paper |
Some Results in Computational Topology
Journal of the ACM | 1973-01-01 | Paper |
