On Confluence of Infinitary Combinatory Reduction Systems

DOI10.1007/11591191_15zbMath1143.68426OpenAlexW2165864553MaRDI QIDQ5387840

Jakob Grue Simonsen, Jeroen Ketema

Publication date: 27 May 2008

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

Full work available at URL: https://doi.org/10.1007/11591191_15

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Counterexamples in infinitary rewriting with non-fully-extended rules ⋮ On Normalisation of Infinitary Combinatory Reduction Systems ⋮ Infinitary combinatory reduction systems ⋮ Comparing Böhm-Like Trees

Uses Software

• CDuce

This page was built for publication: On Confluence of Infinitary Combinatory Reduction Systems