scientific article; zbMATH DE number 1231536

zbMath0912.68093MaRDI QIDQ4222852

Patrick Viry

Publication date: 20 December 1998

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

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

zbMATH Keywords

ELANrewriting interpreter

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42)

Related Items

Executable structural operational semantics in Maude, Unnamed Item, Rewriting logic as a semantic framework for concurrency: a progress report, Session-based concurrency in Maude: executable semantics and type checking, Unnamed Item, Unnamed Item

Uses Software

• ELAN