scientific article; zbMATH DE number 1231545

From MaRDI portal

Revision as of 14:47, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4222861

Jump to:navigation, search

zbMath0912.68097MaRDI QIDQ4222861

Carlos Castro

Publication date: 20 December 1998

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

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

zbMATH Keywords

CSP automated deduction rewriting rules

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

ELAN from a rewriting logic point of view

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4222861&oldid=18092285"