scientific article; zbMATH DE number 1231535

zbMath0912.68091MaRDI QIDQ4222851

Pierre-Etienne Moreau, Marian Vittek, Claude Kirchner, Peter Borovanský, Hélène Kirchner

Publication date: 20 December 1998

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

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

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

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

Related Items (12)

Rewriting logic: Roadmap and bibliography ⋮ GC\(^{2}\): a generational conservative garbage collector for the ATERM library ⋮ Rewriting logic as a semantic framework for concurrency: a progress report ⋮ Unnamed Item ⋮ A survey of strategies in rule-based program transformation systems ⋮ Reachability in Conditional Term Rewriting Systems ⋮ Unnamed Item ⋮ ELAN ⋮ A Survey of Rewriting Strategies in Program Transformation Systems ⋮ Maude: specification and programming in rewriting logic ⋮ Specification of real-time and hybrid systems in rewriting logic ⋮ A formal approach to object-oriented software engineering

This page was built for publication: