scientific article; zbMATH DE number 1231534

zbMath0912.68094MaRDI QIDQ4222849

Hiroyuki Miyoshi

Publication date: 20 December 1998

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

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 ⋮ Comparing Meseguer's Rewriting Logic with the Logic CRWL

This page was built for publication: