Reasoning with graph constraints
type: Item
instance of: scholarly article
title: Reasoning with graph constraints
zbMATH Open document ID: 1209.68381
author: Hartmut Ehrig
author: Ulrike Prange
author: Fernando Orejas
published in: Formal Aspects of Computing
publication date: 2010-05-28T00:00:00Z
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 5713414
zbMATH Keywords: graph constraints
zbMATH Keywords: visual modelling
zbMATH Keywords: graph transformation
describes a project that uses: AGG
MaRDI profile type: Publication
full work available at URL: s00165-009-0116-9
OpenAlex ID: W2027274718
cites work: A Temporal Graph Logic for Verification of Graph Transformation Systems
cites work: Fundamentals of algebraic graph transformation
cites work: Graph Transformations
cites work: Q3751030
cites work: Q4890712
cites work: Satisfiability of High-Level Conditions
cites work: Correctness of high-level transformation systems relative to nested conditions
cites work: Q4222796
cites work: Foundations of Software Science and Computation Structures
cites work: Conflict Detection for Graph Transformation with Negative Application Conditions
cites work: Pattern-Based Model-to-Model Transformation
cites work: Q3992908
cites work: Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
cites work: A Logic of Graph Constraints
cites work: Graph-based specification of access control policies
cites work: Resolution-Like Theorem Proving for High-Level Conditions
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
DOI: 10.1007/S00165-009-0116-9
description: scientific article; zbMATH DE number 5713414