scientific article; zbMATH DE number 1231551

zbMath0912.68099MaRDI QIDQ4222866

Ulrike Lechner

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#lechner

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Rewriting logic as a semantic framework for concurrency: a progress report

Uses Software

• Maude

This page was built for publication: