Tableau-Based Reasoning for Graph Properties

This publication has 10 references indexed in Scilit:

• Tableau-Based Reasoning for Graph Properties
  2014
• ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
  Fundamenta Informaticae, 2012
• Symbolic graphs for attributed graph constraints
  Journal of Symbolic Computation, 2011
• Reasoning with graph constraints
  Formal Aspects of Computing, 2010
• Correctness of high-level transformation systems relative to nested conditions
  Mathematical Structures in Computer Science, 2009
• Resolution-Like Theorem Proving for High-Level Conditions
  2008
• Representing First-Order Logic Using Graphs
  2004
• Tableaux and Related Methods
  2001
• THE EXPRESSION OF GRAPH PROPERTIES AND GRAPH TRANSFORMATIONS IN MONADIC SECOND-ORDER LOGIC
  1997
• Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -
  Electronic Notes in Theoretical Computer Science, 1995