scientific article; zbMATH DE number 1231488

zbMath0910.68110MaRDI QIDQ4222795

Andy Schürr, Gregor Engels

Publication date: 13 December 1998

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

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

zbMATH Keywords

graph grammar

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (3)

Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). ⋮ LMNtal as a hierarchical logic programming language ⋮ Hierarchical graph transformation

Uses Software

• Hy+

This page was built for publication: