scientific article; zbMATH DE number 1231655

zbMath0917.68098MaRDI QIDQ4222980

Zine-El-Abidine Benaissa, Eelco Visser

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#15004

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

zbMATH Keywords

rewriting language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (7)

Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ Typed generic traversal with term rewriting strategies ⋮ Transformation of structure-shy programs with application to XPath queries and strategic functions ⋮ A Logic for Rewriting Strategies ⋮ Term-graph Rewriting in Tom Using Relative Positions ⋮ Maude: specification and programming in rewriting logic

Uses Software

• OBJ3

This page was built for publication: