Search results
From MaRDI portal
- geometric proof of confluence by decreasing diagrams 2000-09-04 Paper Extending partial combinatory algebras 1999-11-25 Paper Modularity of confluence: A simplified...10 bytes (18 words) - 10:06, 25 September 2023
- investigating rewrite systems 2008-12-10 Paper Modularity of Confluence 2008-11-27 Paper Confluence by Decreasing Diagrams 2008-08-28 Paper Lambda calculus...10 bytes (18 words) - 00:41, 25 September 2023
- time semantics for recursion with merge 2002-05-13 Paper A geometric proof of confluence by decreasing diagrams 2000-09-04 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 07:36, 12 December 2023
- Non-trivial lower bounds on proof complexity and related theorems 1991-01-01 Paper Complexity Versus the Church‐Rosser Property and Confluence 1991-01-01 Paper Herbrand-Analysen...10 bytes (16 words) - 22:49, 12 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
- schema 2023-04-12 Paper On confluence for weakly normalizing systems 2022-12-09 Paper Subtyping + extensionality: Confluence of βηtop reduction in F≤ 2022-08-16...10 bytes (17 words) - 19:13, 11 December 2023
- de/entity/Q6187069 2024-02-05 Paper A proof method for local sufficient completeness of term rewriting systems 2022-03-31 Paper Confluence and commutation for nominal...10 bytes (16 words) - 12:50, 24 September 2023
- of Fürstenberg's proof of the infinity of primes 2008-09-16 Paper Proof Transformations and Structural Invariance 2007-11-15 Paper Proof Transformation by...10 bytes (17 words) - 13:50, 7 October 2023
- 2013-09-20 Paper A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses 2011-11-22 Paper SAT Modulo the Theory of Linear Arithmetic: Exact...10 bytes (17 words) - 16:46, 12 December 2023
- universal unfolding of vector fields in one variable: a proof of Kostov's theorem 2020-10-12 Paper Confluence of Singularities in Hypergeometric Systems 2020-09-03...10 bytes (16 words) - 17:20, 6 October 2023
- 2023-11-24 Paper Clausal rewriting 2023-03-09 Paper Unification of drags and confluence of drag rewriting 2023-02-03 Paper Compositionality results for different...10 bytes (17 words) - 11:55, 11 December 2023
- 2023-02-28 Paper Confluence proofs of lambda-mu-calculi by Z theorem 2021-12-27 Paper Contributed papers. Restriction on cut in cyclic proof system for symbolic...10 bytes (16 words) - 04:01, 7 October 2023
- issues regarding linguistic hedges 2014-01-06 Paper Similarity issues of confluence of fuzzy relations 2013-11-14 Paper Optimal factorization of three-way...10 bytes (16 words) - 20:55, 9 December 2023
- theorem as higher order recursion 2020-04-14 Paper Herbrand Confluence for First-Order Proofs with Π2-Cuts 2020-04-02 Paper An infinitary treatment of full...10 bytes (18 words) - 18:27, 11 December 2023
- inflation risk 2022-07-15 Paper A proof method for local sufficient completeness of term rewriting systems 2022-03-31 Paper Confluence and commutation for nominal...10 bytes (16 words) - 14:50, 24 September 2023
- 2011-08-26 Paper A short proof that adding some permutation rules to \(\beta \) preserves SN 2011-03-14 Paper A direct proof of the confluence of combinatory strong...10 bytes (16 words) - 11:10, 8 December 2023
- Type Reachability Analysis for Termination and Confluence of Rewriting 2023-11-24 Paper A Mechanized Proof of Higman’s Lemma by Open Induction 2020-07-08...10 bytes (16 words) - 03:19, 25 September 2023
- Publication Date of Publication Type A polynomial algorithm testing partial confluence of basic semi-Thue systems 2022-12-09 Paper On the termination problem...10 bytes (17 words) - 09:40, 12 December 2023
- Normal Higher-Order Termination 2015-09-17 Paper Confluence by Critical Pair Analysis 2014-07-24 Paper Confluence: The Unifying, Expressive Power of Locality...10 bytes (18 words) - 11:03, 6 October 2023
- 2024-03-20 Paper Z property for the shuffling calculus 2023-02-28 Paper Confluence proofs of lambda-mu-calculi by Z theorem 2021-12-27 Paper A formal system...10 bytes (18 words) - 19:21, 11 December 2023
