scientific article; zbMATH DE number 1231662

zbMath0917.68112MaRDI QIDQ4222988

Paul Klint, Mark van den Brand, Chris Verhoef

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15011

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

zbMATH Keywords

term rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Rewriting logic: Roadmap and bibliography ⋮ Unnamed Item ⋮ Termination of Priority Rewriting

Uses Software

• COBOL
• ASF+SDF

This page was built for publication: