Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems

DOI10.4230/LIPIcs.FSTTCS.2010.284zbMath1245.68114OpenAlexW2119045600MaRDI QIDQ2908858

Rakesh M. Verma, Nicholas R. Radcliffe

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_9416.html

zbMATH Keywords

decidabilityterm rewrite systemsuniqueness of normal formsflat rewrite systemsshallow rewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Uniqueness of Normal Forms for Shallow Term Rewrite Systems

This page was built for publication: Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems