scientific article; zbMATH DE number 1962804

zbMath1035.68058MaRDI QIDQ4418639

Rakesh M. Verma, Guillem Godoy, Ashish Kumar Tiwari

Publication date: 11 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2607/26070085.htm

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (8)

Uniqueness of Normal Forms for Shallow Term Rewrite Systems ⋮ Deciding confluence of certain term rewriting systems in polynomial time ⋮ Normalization properties for shallow TRS and innermost rewriting ⋮ Unnamed Item ⋮ Undecidable properties of flat term rewrite systems ⋮ Bottom-up rewriting for words and terms ⋮ Reachability and confluence are undecidable for flat term rewriting systems ⋮ Undecidable Properties on Length-Two String Rewriting Systems

This page was built for publication: