Search results
From MaRDI portal
- Paper On transformations of constant depth propositional proofs 2019-07-10 Paper Short proofs of the Kneser-Lovász coloring principle 2018-06-14 Paper...10 bytes (19 words) - 14:53, 7 December 2023
- Fiat-Shamir for proofs 2017-11-15 Paper Constant-round interactive proofs for delegating computation 2017-09-29 Paper Non-Interactive Proofs of Proximity...10 bytes (18 words) - 00:18, 13 December 2023
- combinatorial proofs and sequent calculus proofs read out from logical flow graphs 2010-04-22 Paper Logical structures and genus of proofs 2009-11-04 Paper...10 bytes (17 words) - 06:06, 12 December 2023
- contextual sets 2012-12-04 Paper Proofs of the Kochen–Specker theorem based on a system of three qubits 2012-10-31 Paper Parity proofs of the Kochen-Specker theorem...10 bytes (16 words) - 21:52, 11 December 2023
- Efficient, verified checking of propositional proofs 2018-01-04 Paper Expressing Symmetry Breaking in DRAT Proofs 2015-12-02 Paper DRAT-trim: Efficient Checking...10 bytes (18 words) - 19:29, 13 December 2023
- Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience 2011-11-22 Paper Automated proofs for asymmetric...10 bytes (17 words) - 15:53, 10 December 2023
- Algebra of proofs 1978-01-01 Paper The logic of closed categories 1977-01-01 Paper An addendum to my paper 'A categorical equivalence of proofs' 1976-01-01...10 bytes (18 words) - 21:30, 12 December 2023
- generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation 1996-01-01 Paper Machine Proofs in Geometry 1995-12-06...10 bytes (17 words) - 19:14, 9 December 2023
- Anderson-like ontological proofs 2015-02-09 Paper Contingent modal semantics for some variants of Anderson-like ontological proofs 2009-11-30 Paper Semantic...10 bytes (17 words) - 09:47, 13 December 2023
- Paper Prefixed Tableau Systems for Logic of Proofs and Provability 2013-10-04 Paper Substructural Logic of Proofs 2013-09-17 Paper Tableaux and hypersequents...10 bytes (16 words) - 18:41, 11 December 2023
- generate witnesses for coinduction from divergent proof attempts 2002-06-27 Paper On automating diagrammatic proofs of arithmetic arguments 2000-07-31 Paper https://portal...10 bytes (16 words) - 06:32, 12 December 2023
- from programs extracted from classical proofs 2004-10-01 Paper System ST toward a type system for extraction and proofs of programs 2003-08-13 Paper Completeness...10 bytes (16 words) - 02:18, 9 December 2023
- verified checking of propositional proofs 2018-01-04 Paper A little blocked literal goes a long way 2017-11-15 Paper Short proofs without new variables 2017-09-22...10 bytes (20 words) - 13:01, 11 December 2023
- bounded depth frege proofs of the pigeonhole principle 1995-11-05 Paper Lower bounds to the size of constant-depth propositional proofs 1994-11-03 Paper An...10 bytes (17 words) - 12:15, 9 December 2023
- security proofs with minimal fuss: implicit computational complexity at work 2015-05-04 Paper Certifying assembly with formal security proofs: the case...10 bytes (18 words) - 14:53, 28 January 2024
- from Nested Definitions 2013-08-07 Paper Minimal from classical proofs 2013-04-15 Paper Proofs and Computations 2012-01-27 Paper Minlog - A Tool for Program...10 bytes (17 words) - 17:43, 9 December 2023
- Instances 2019-10-11 Paper Short proofs of the Kneser-Lovász coloring principle 2018-06-14 Paper QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE...10 bytes (19 words) - 14:26, 11 December 2023
- Automated Termination Proofs 2008-09-16 Paper Usable Rules for Context-Sensitive Rewrite Systems 2008-08-28 Paper Modular and incremental proofs of AC-termination...10 bytes (16 words) - 02:18, 12 December 2023
- Publication Date of Publication Type Explanatory Proofs and Beautiful Proofs 2023-10-25 Paper Asymmetry as a challenge to counterfactual accounts of non-causal...10 bytes (16 words) - 14:05, 7 December 2023
- intuitionistic, and classical logics 2009-11-04 Paper From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic 2009-03-05 Paper Focusing...10 bytes (19 words) - 04:30, 12 December 2023
