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

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Structural characterization of families of graphs (05C75) Mechanization of proofs and logical operations (03B35)

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