Publication:4038705
From MaRDI portal
zbMath0765.68067MaRDI QIDQ4038705
Rakesh M. Verma, I. V. Ramakrishnan
Publication date: 18 May 1993
reductions; confluent rewrite systems; noetherian systems; nonoblivious normalization algorithms; nonoverlapping systems
68Q42: Grammars and rewriting systems
Related Items