scientific article; zbMATH DE number 1368955

zbMath0960.68087MaRDI QIDQ4702599

Hélène Kirchner

Publication date: 20 May 2001

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

zbMATH Keywords

term rewriting

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (2)

Rewriting logic: Roadmap and bibliography ⋮ Term-Graph Rewriting Via Explicit Paths

Uses Software

• ELAN

This page was built for publication: