scientific article; zbMATH DE number 2043530

zbMath1038.68548MaRDI QIDQ4447234

Ram Prasad Venkatesan, Feng Chen, Grigore Roşu

Publication date: 16 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2706/27060197.htm

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theory of software (68N99)

Related Items (5)

The rewriting logic semantics project ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• ELAN
• OBJ3
• CafeOBJ
• Maude
• bc
• UNITS

This page was built for publication: