Proof Terms for Infinitary Rewriting

DOI10.1007/978-3-319-08918-8_21zbMath1394.68200arXiv1402.2245OpenAlexW271159402MaRDI QIDQ5170824

Alejandro Ríos, Carlos Lombardi, Roel de Vrijer

Publication date: 24 July 2014

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

Full work available at URL: https://arxiv.org/abs/1402.2245

zbMATH Keywords

permutation equivalenceinfinitary rewritingproof terms

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Unnamed Item ⋮ Projections for infinitary rewriting (extended version) ⋮ Projections for infinitary rewriting ⋮ Unnamed Item