Confluence by Critical Pair Analysis

DOI10.1007/978-3-319-08918-8_20zbMath1416.68094OpenAlexW95047271MaRDI QIDQ5170823

Jean-Pierre Jouannaud, Nachum Dershowitz, Jiaxiang Liu

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_20

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent ⋮ Reducing Relative Termination to Dependency Pair Problems

This page was built for publication: Confluence by Critical Pair Analysis