Search results
From MaRDI portal
- Publication Type Proof Compression and NP Versus PSPACE II: Addendum 2024-02-29 Paper https://portal.mardi4nfdi.de/entity/Q4994969 2021-06-22 Paper Proof Compression...10 bytes (17 words) - 18:35, 9 December 2023
- electoral evolution 2002-06-20 Paper Strategy-proof social choice correspondences. 2001-01-01 Paper Strategy-proof probabilistic rules for expected utility...10 bytes (17 words) - 15:27, 9 December 2023
- for ZF set theory 2023-12-08 Paper A formalised theorem in the partition calculus 2023-10-12 Paper Formalising Mathematics in Simple Type Theory 2023-09-20...10 bytes (19 words) - 19:14, 9 December 2023
- Paper Translating between implicit and explicit versions of proof 2017-09-22 Paper A proof theory for generic judgments 2017-07-12 Paper Unifying Classical...10 bytes (19 words) - 04:30, 12 December 2023
- Model Theory 2008-01-18 Paper Logical Aspects of Computational Linguistics 2005-11-23 Paper Exploring Computational Contents of Intuitionist Proofs 2005-08-03...10 bytes (18 words) - 15:25, 10 December 2023
- 2005-02-18 Paper Coherence for sharing proof-nets 2003-07-29 Paper Parsing MELL proof nets 2001-08-20 Paper Proof nets, garbage, and computations 2000-12-12...10 bytes (17 words) - 02:17, 9 December 2023
- SPONTANEOUSLY BROKEN SU(2) YANG–MILLS THEORY WITH FLOW EQUATIONS 2009-09-05 Paper Renormalization proof for massive \(\phi_4^4\) theory on Riemannian manifolds 2008-02-22...10 bytes (18 words) - 04:26, 9 December 2023
- Paper A proof-theoretic investigation of a logic of positions 2003-09-25 Paper Coherence for sharing proof-nets 2003-07-29 Paper Parsing MELL proof nets 2001-08-20...10 bytes (16 words) - 01:50, 9 December 2023
- Mathematical Structures in Type Theory 2008-06-03 Paper User interaction with the Matita proof assistant 2007-12-03 Paper Higher order Proof Reconstruction from ...10 bytes (17 words) - 06:52, 9 December 2023
- of a Regular Hexagon 2019-02-18 Paper Proof Without Words: Sums of Odd Integers 2018-10-26 Paper A Geometric Proof of a Morrie-Type Formula 2018-10-25 Paper...10 bytes (18 words) - 15:57, 10 December 2023
- Conjectures, Expectations: Rough-Sets Semantics and Proof Theory 2015-05-22 Paper Categorical Proof Theory of Co-Intuitionistic Linear Logic 2014-09-30 Paper...10 bytes (16 words) - 03:22, 13 December 2023
- Zermelo-Fraenkel set theory 2006-09-06 Paper A note on Bar Induction in Constructive Set Theory 2006-08-30 Paper Theories and ordinals in proof theory 2006-08-18...10 bytes (16 words) - 06:44, 9 December 2023
- 2008-12-10 Paper Categorical proof theory of classical propositional calculus 2007-01-09 Paper Computer Science Logic 2006-11-01 Paper Proof Nets for Classical Logic...10 bytes (18 words) - 15:42, 10 December 2023
- Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory 2008-04-11 Paper A proof of strong normalisation using domain theory 2008-04-01 Paper...10 bytes (17 words) - 16:11, 11 December 2023
- short proof of a well‐known theorem of intuitionistic analysis 1975-01-01 Paper Extensional Gödel functional interpretation. A consistency proof of classical...10 bytes (16 words) - 22:49, 12 December 2023
- aspects of the p-regularity theory 2024-03-01 Paper Degenerate equality constrained optimization problems and P-regularity theory 2023-08-10 Paper New perspective...10 bytes (18 words) - 14:57, 9 December 2023
- rules in lattice theory. 2005-04-19 Paper Proof-theoretical analysis of order relations 2004-12-16 Paper Proof systems for lattice theory 2004-09-24 Paper...10 bytes (19 words) - 15:59, 7 December 2023
- CALCULUS 2023-05-26 Paper Neutral free logic: motivation, proof theory and models 2023-04-24 Paper Proof-theoretic analysis of the logics of agency: the deliberative...10 bytes (16 words) - 01:45, 13 December 2023
- Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem 2012-12-17 Paper Floquet-Bloch Theory for Elliptic Problems with Discontinuous...10 bytes (17 words) - 13:00, 8 December 2023
- Specifications 1991-01-01 Paper Abstract Data Types and Type Theory: Theories as Types 1991-01-01 Paper Proof theory and computer programming 1990-01-01 Paper https://portal...10 bytes (21 words) - 15:15, 12 December 2023