scientific article; zbMATH DE number 1231678

zbMath0917.68069MaRDI QIDQ4223006

Ulrike Lechner

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15027

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

zbMATH Keywords

Maudeobject-oriented concurrent paradigm

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Related Items (1)

Rewriting logic: Roadmap and bibliography

Uses Software

• Maude

This page was built for publication: