Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundamenta Informaticae, 74(1):31-61, 2006. [doi]

@article{EhrigEPT06,
  title = {Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories},
  author = {Hartmut Ehrig and Karsten Ehrig and Ulrike Prange and Gabriele Taentzer},
  year = {2006},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=74&issue=1&spage=31},
  tags = {rule-based, graph transformation, graph-rewriting, type theory, rewriting, transformation},
  researchr = {https://researchr.org/publication/EhrigEPT06},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {74},
  number = {1},
  pages = {31-61},
}