scientific article; zbMATH DE number 6109844
From MaRDI portal
Publication:4649558
DOI10.4230/LIPIcs.CSL.2012.350zbMath1252.68159MaRDI QIDQ4649558
Jean-Pierre Jouannaud, Jianqi Li
Publication date: 22 November 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Coherent confluence modulo relations and double groupoids ⋮ Normal Higher-Order Termination ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ Confluence of algebraic rewriting systems