scientific article

zbMath1004.68080MaRDI QIDQ2782483

Horatiu Cirstea, Claude Kirchner

Publication date: 3 April 2002

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

zbMATH Keywords

\(\rho\)-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items

Rewriting logic: Roadmap and bibliography, Continuation Models for the Lambda Calculus With Constructors, Twenty years of rewriting logic, Unnamed Item, ELAN from a rewriting logic point of view

Uses Software

• ELAN
• CafeOBJ
• Maude