| Publication | Date of Publication | Type |
|---|
| Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts | 2023-09-15 | Paper |
| The theory of hereditarily bounded sets | 2023-09-12 | Paper |
| Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) | 2023-04-27 | Paper |
| A simplified lower bound for implicational logic | 2023-03-27 | Paper |
| On the proof complexity of logics of bounded branching | 2022-10-14 | Paper |
| Iterated multiplication in \(VTC^0\) | 2022-07-15 | Paper |
| Elementary analytic functions in $VTC^0$ | 2022-06-24 | Paper |
| On the complexity of the clone membership problem | 2021-08-05 | Paper |
| Rules with parameters in modal logic. II. | 2020-10-07 | Paper |
| Recursive functions and existentially closed structures | 2020-06-26 | Paper |
| Rigid models of Presburger arithmetic | 2020-05-06 | Paper |
| On the proof complexity of logics of bounded branching | 2020-04-23 | Paper |
| Induction rules in bounded arithmetic | 2020-04-01 | Paper |
| Galois connection for multiple-output operations | 2018-07-16 | Paper |
| Cluster expansion and the boxdot conjecture | 2017-02-01 | Paper |
| Division by zero | 2016-11-01 | Paper |
| Proof complexity of intuitionistic implicational formulas | 2016-10-26 | Paper |
| A note on the substructural hierarchy | 2016-03-17 | Paper |
| Integer factoring and modular square roots | 2015-12-11 | Paper |
| Blending margins: the modal logic K has nullary unification type | 2015-11-03 | Paper |
| Rules with parameters in modal logic. I. | 2015-05-26 | Paper |
| Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) | 2015-04-14 | Paper |
| The foundation axiom and elementary self-embeddings of the universe | 2015-04-09 | Paper |
| The complexity of admissible rules of Lukasiewicz logic | 2013-06-27 | Paper |
| Real closures of models of weak arithmetic | 2013-02-15 | Paper |
| THE UBIQUITY OF CONSERVATIVE TRANSLATIONS | 2013-01-10 | Paper |
| Root finding with threshold circuits | 2012-11-27 | Paper |
| Proofs with monotone cuts | 2012-06-01 | Paper |
| Sequence encoding without induction | 2012-06-01 | Paper |
| On theories of bounded arithmetic for \(\mathrm{NC}^1\) | 2011-09-12 | Paper |
| A sorting network in bounded arithmetic | 2011-09-12 | Paper |
| Bases of Admissible Rules of Lukasiewicz Logic | 2011-01-19 | Paper |
| Abelian groups and quadratic residues in weak arithmetic | 2010-06-10 | Paper |
| Admissible Rules of Lukasiewicz Logic | 2010-04-21 | Paper |
| Canonical rules | 2010-01-07 | Paper |
| Approximate counting by hashing in bounded arithmetic | 2009-09-29 | Paper |
| Substitution Frege and extended Frege proof systems in non-classical logics | 2009-06-10 | Paper |
| Proof Complexity of the Cut-free Calculus of Structures | 2009-04-16 | Paper |
| Independent Bases of Admissible Rules | 2008-06-27 | Paper |
| On Independence of Variants of the Weak Pigeonhole Principle | 2007-12-12 | Paper |
| Approximate counting in bounded arithmetic | 2007-10-17 | Paper |
| Fragment of Nonstandard Analysis with a Finitary Consistency Proof | 2007-08-08 | Paper |
| Complexity of admissible rules | 2007-03-06 | Paper |
| The strength of sharply bounded induction | 2007-02-02 | Paper |
| Frege systems for extensible modal logics | 2006-09-14 | Paper |
| Subdirectly irreducible non-idempotent left symmetric left distributive groupoids | 2006-07-14 | Paper |
| Admissible Rules of Modal Logics | 2005-10-18 | Paper |
| Dual weak pigeonhole principle, Boolean complexity, and derandomization | 2004-11-22 | Paper |
| A note on Grzegorczyk's logic | 2004-08-06 | Paper |
| On the theory of exponential integer parts | 0001-01-03 | Paper |
