scientific article; zbMATH DE number 1231542
From MaRDI portal
Publication:4222858
zbMath0912.68088MaRDI QIDQ4222858
Hélène Kirchner, Claude Kirchner, Peter Borovanský
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#bkk
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting logic: Roadmap and bibliography, Typed generic traversal with term rewriting strategies, Rewriting logic as a semantic framework for concurrency: a progress report, Unnamed Item, A survey of strategies in rule-based program transformation systems, Generic type-preserving traversal strategies, A Survey of Rewriting Strategies in Program Transformation Systems, A Logic for Rewriting Strategies, Scoped Dynamic Rewrite Rules, ELAN from a rewriting logic point of view, Maude: specification and programming in rewriting logic, A Maude specification of an object-oriented model for telecommunication networks
Uses Software
Cites Work
