Confluence: The Unifying, Expressive Power of Locality

DOI10.1007/978-3-642-54624-2_17zbMath1407.68101OpenAlexW35691755MaRDI QIDQ5403076

Jiaxiang Liu, Jean-Pierre Jouannaud

Publication date: 25 March 2014

Published in: Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54624-2_17

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Unnamed Item ⋮ Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs

Uses Software

• CoqMT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Confluence by decreasing diagrams
• From diagrammatic confluence to modularity
• Confluence by Decreasing Diagrams
• Coq Modulo Theory
• Diagrammatic Confluence and Completion
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Labelings for Decreasing Diagrams.