Diagrammatic Confluence and Completion

DOI10.1007/978-3-642-02930-1_18zbMath1248.68277OpenAlexW1833447734MaRDI QIDQ3638097

Jean-Pierre Jouannaud, Vincent van Oostrom

Publication date: 14 July 2009

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02930-1_18

zbMATH Keywords

completionconfluencerewritingdecreasing diagrams

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

From diagrammatic confluence to modularity ⋮ Confluence: The Unifying, Expressive Power of Locality ⋮ Diagrammatic confluence for Constraint Handling Rules ⋮ Decreasing Diagrams and Relative Termination

This page was built for publication: Diagrammatic Confluence and Completion