scientific article

zbMath1221.68110MaRDI QIDQ3012528

Jan Willem Klop, Roel de Vrijer

Publication date: 6 July 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

weak normalizationconfluencestrong normalizationuniqueness of normal formsinfinitary normalization notionsinfinitary orthogonal first-order term rewritingparallel moves lemma

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Productivity of stream definitions, Transducer degrees: atoms, infima and suprema, Highlights in infinitary rewriting and lambda calculus, Projections for infinitary rewriting (extended version), Levels of undecidability in rewriting, On Normalisation of Infinitary Combinatory Reduction Systems, Normalization of Infinite Terms, Projections for infinitary rewriting, Lazy productivity via termination, Infinitary combinatory reduction systems, Unnamed Item, Unnamed Item, Unnamed Item, Applications of infinitary lambda calculus, Proving Infinitary Normalization, Unnamed Item, Degrees of Undecidability in Term Rewriting