scientific article; zbMATH DE number 1231546

zbMath0912.68087MaRDI QIDQ4222862

Marco Schorlemmer

Publication date: 20 December 1998

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

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 (2)

Rewriting logic: Roadmap and bibliography ⋮ Rewriting logic as a semantic framework for concurrency: a progress report

This page was built for publication: