Evaluation diversity for graph conditions
From MaRDI portal
Publication:6156934
Recommendations
Cites work
- scientific article; zbMATH DE number 1059243 (Why is no real title available?)
- scientific article; zbMATH DE number 2086943 (Why is no real title available?)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- Correctness of high-level transformation systems relative to nested conditions
- Evaluation diversity for graph conditions
- Fundamental Approaches to Software Engineering
- Fundamentals of algebraic graph transformation
- On the operationalization of graph queries with generalized discrimination networks
- Symbolic model generation for graph properties
- The unified modeling language
- Translating essential OCL invariants to nested graph constraints focusing on set operations
- \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
Cited in
(2)
This page was built for publication: Evaluation diversity for graph conditions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6156934)