scientific article; zbMATH DE number 1231547

zbMath0912.68098MaRDI QIDQ4222863

Peter Csaba Ölveczky, José Meseguer

Publication date: 20 December 1998

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

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

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

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

Related Items (4)

Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ Rewriting logic as a semantic framework for concurrency: a progress report ⋮ Specification of real-time and hybrid systems in rewriting logic

This page was built for publication: