scientific article

From MaRDI portal

Publication:4037329

Jump to:navigation, search

zbMath0768.68071MaRDI QIDQ4037329

Andrea Maggiolo-Schettini, Józef Winkowski

Publication date: 18 May 1993

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

zbMATH Keywords

transformations semantics relational structures productions quasiderivation programming constructs trace behaviour configuration lattice derivation behaviour

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items

Logic based structure rewriting systems ⋮ On the interleaving semantics of transformation units — A step into GRACE ⋮ Programmed graph transformations and graph transformation units in GRACE

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