scientific article; zbMATH DE number 1231541

zbMath0912.68085MaRDI QIDQ4222857

Hélène Kirchner, Pierre-Etienne Moreau

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#km

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

zbMATH Keywords

rewriting logicELAN

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42)

Related Items

Rewriting logic: Roadmap and bibliography, Metalevel transformation of strategies, Scoped Dynamic Rewrite Rules

Uses Software

• ELAN