scientific article; zbMATH DE number 1222590
From MaRDI portal
Publication:4218129
zbMath0910.18001MaRDI QIDQ4218129
Marta Simeoni, Francesco Parisi-Presicce, Martin Grosse-Rhode
Publication date: 11 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Graphs, diagram schemes, precategories (18A10)
Related Items (4)
Amalgamation of domain specific languages with behaviour ⋮ GETGRATS ⋮ Graph transformations for object-oriented refinement ⋮ Formal software specification with refinements and modules of typed graph transformation systems
This page was built for publication:
