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 (5)

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

This page was built for publication: