Confluence of nearly orthogonal infinitary term rewriting systems

DOI10.4230/LIPICS.RTA.2015.106zbMath1366.68111OpenAlexW2316213087MaRDI QIDQ5277874

Łukasz Czajka

Publication date: 12 July 2017

Full work available at URL: http://dblp.uni-trier.de/db/conf/rta/rta2015.html#Czajka15

zbMATH Keywords

confluencecoinductioninfinitary rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Confluence of nearly orthogonal infinitary term rewriting systems