Analysing graph transformation systems through constraint handling rules
From MaRDI portal
Publication:3087810
DOI10.1017/S1471068410000438zbMath1222.68067MaRDI QIDQ3087810
Publication date: 17 August 2011
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)
Related Items
A Linear Logic Programming Language for Concurrent Programming over Graph Structures, Combining Forward and Backward Propagation
Cites Work