scientific article; zbMATH DE number 1231545

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

CSPautomated deductionrewriting rules

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

ELAN from a rewriting logic point of view