scientific article; zbMATH DE number 1361480

zbMATH Open0951.68055MaRDI QIDQ4699298FDOQ4699298

Uwe Wolter, R. Heckel, Hartmut Ehrig, Andrea Corradini

Publication date: 1 February 2000

Title of this publication is not available (Why is that?)

Recommendations

• Verifying a behavioural logic for graph transformation systems
• scientific article; zbMATH DE number 1504838
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• A Logic of Graph Constraints

zbMATH Keywords

graph grammarsgraphical consistency constraintstemporal logic constraints

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Temporal logic (03B44) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)

Cited In (3)

• Title not available (Why is that?)
• GETGRATS
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699298)