Infinite Families of Finite String Rewriting Systems and Their Confluence

DOI10.1007/978-3-642-16242-8_28zbMath1306.68075OpenAlexW1544791595MaRDI QIDQ4933319

Jean-Pierre Jouannaud, Benjamin Monate

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00515395/file/main-easychair.pdf

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: Infinite Families of Finite String Rewriting Systems and Their Confluence