Confluence: the unifying, expressive power of locality

DOI10.1007/978-3-642-54624-2_17zbMATH Open1407.68101OpenAlexW35691755MaRDI QIDQ5403076FDOQ5403076

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1759984
• scientific article; zbMATH DE number 2087601
• scientific article; zbMATH DE number 1487470
• scientific article; zbMATH DE number 814802
• The role of concurrency in an evolutionary view of programming abstractions

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Confluence by decreasing diagrams
• Confluence by Decreasing Diagrams
• Labelings for Decreasing Diagrams.
• Title not available (Why is that?)
• Proof orders for decreasing diagrams
• From diagrammatic confluence to modularity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diagrammatic Confluence and Completion
• Coq Modulo Theory

Cited In (4)

• Compositional confluence criteria
• Title not available (Why is that?)
• Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
• Title not available (Why is that?)

Uses Software

• CoqMT

This page was built for publication: Confluence: the unifying, expressive power of locality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403076)