scientific article; zbMATH DE number 6109844
From MaRDI portal
Publication:4649558
DOI10.4230/LIPICS.CSL.2012.350zbMATH Open1252.68159MaRDI QIDQ4649558FDOQ4649558
Authors: Jean-Pierre Jouannaud, Jianqi Li 
Publication date: 22 November 2012
Title of this publication is not available (Why is that?)
Recommendations
- On the Church-Rosser property for the direct sum of term rewriting systems
- scientific article; zbMATH DE number 3850463
- Church-Rosser theorem for a rewriting system on categorical combinators
- Church-Rosser property for conditional rewriting systems with built-in predicates as premises
- The Church-Rosser property in symmetric combinatory logic
- The Church-Rosser property for ground term-rewriting systems is decidable
- scientific article; zbMATH DE number 23844
- The Church Rosser theorem for strong reduction in combinatory logic
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
- Church-Rosser property of a simple reduction for full first-order classical natural deduction
Cited In (12)
- A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser
- Strict coherence of conditional rewriting modulo axioms
- Normalization properties for shallow TRS and innermost rewriting
- Normal higher-order termination
- Coherent confluence modulo relations and double groupoids
- Church-Rosser property of a simple reduction for full first-order classical natural deduction
- Confluence: the unifying, expressive power of locality
- Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation
- Confluence of algebraic rewriting systems
- Church-Rosser theorem for a rewriting system on categorical combinators
- Title not available (Why is that?)
- Drags: a compositional algebraic framework for graph rewriting
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649558)
