scientific article

From MaRDI portal

Publication:4038705

Jump to:navigation, search

zbMath0765.68067MaRDI QIDQ4038705

I. V. Ramakrishnan, Rakesh M. Verma

Publication date: 18 May 1993

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

zbMATH Keywords

reductions confluent rewrite systems noetherian systems nonoblivious normalization algorithms nonoverlapping systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Transformations and confluence for rewrite systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4038705&oldid=17762904"