Abstract Critical Pairs and Confluence of Arbitrary Binary Relations

DOI10.1007/978-3-540-73449-9_17zbMath1203.68075OpenAlexW1517760325MaRDI QIDQ5432343

François Fages, Rémy Haemmerlé

Publication date: 2 January 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73449-9_17

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations