Tableau-Based Reasoning for Graph Properties

DOI10.1007/978-3-319-09108-2_2zbMath1425.68316OpenAlexW51137601MaRDI QIDQ3192220

Leen Lambers, Fernando Orejas

Publication date: 26 September 2014

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09108-2_2

zbMATH Keywords

graph propertiesautomated deductiongraph transformationvisual modellinggraph logic

Mathematics Subject Classification ID

Related Items (7)

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations ⋮ Initial Conflicts for Transformation Rules with Nested Application Conditions ⋮ A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ A navigational logic for reasoning about graph properties ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ Comprehensive systems: a formal foundation for multi-model consistency management

This page was built for publication: Tableau-Based Reasoning for Graph Properties