scientific article
From MaRDI portal
Publication:2740996
zbMath0979.68055MaRDI QIDQ2740996
Pierre-Etienne Moreau, Hélène Kirchner
Publication date: 9 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting logic: Roadmap and bibliography, GC\(^{2}\): a generational conservative garbage collector for the ATERM library, Manipulating algebraic specifications with term-based and graph-based representations, Twenty years of rewriting logic, Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility, Unnamed Item, A Rewriting Calculus for Multigraphs with Ports, Canonical Abstract Syntax Trees, ELAN from a rewriting logic point of view
Uses Software
