Matrix approach to graph transformation: Matching and sequences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4178 LNCS, Issue , 2006, Pages 122-137

  Pérez Velasco, Pedro Pablo ^a   De Lara, Juan ^a  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; DATA ACQUISITION; MATHEMATICAL TRANSFORMATIONS; MATRIX ALGEBRA;

BOOLEAN MATRICES; GRAPH TRANSFORMATION; PERMUTATIONS; SINGLE PUSHOUT APPROACH (SPO);

GRAPH THEORY;

EID: 33750234581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

1. Braket notation intro: http://en.wikipedia.org/wiki/Bra-ket_notation.
2. Courcelle, B. 1990. Graph Rewriting: An Algebraic and Logic Approach Handbook of Theoretical Computer Science, Vol. B. pp.: 193-242.
3. Ehrig, H. 1979. Introduction to the Algebraic Theory of Graph Grammars. In V. Claus, H. Ehrig, and G. Rozenberg (eds.), 1st Graph Grammar Workshop, pages 1-69. LNCS 73.
4. Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A. 1999. Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In [11] Vol.1, pp.: 247-312.
5. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G. 2006. Fundamentals of Algebraic Graph Transformation. Springer.
6. Heckel, R., Küster, J. M., Taentzer, G. 2002. Confluence of Typed Attributed Graph Transformation Systems. Proc. ICGT'2002. LNCS 2505, pp.: 161-176. Springer.
7. Kahl, W. 2002. A Relational Algebraic Approach to Graph Structure Transformation Tech.Rep. 2002-03. Universität der Bundeswehr München.
8. Lambers, L., Ehrig, H., Orejas, F. 2006. Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. Proc. GT-VMT'06, to appear in ENTCS (Elsevier).
9. Mizoguchi, Y., Kuwahara, Y. 1995. Relational Graph Rewritings. Theoretical Computer Science, Vol 141, pp. 311-328.
10. Pérez Velasco, P. P., de Lara, J. 2006. Towards a New Algebraic Approach to Graph Transformation: Long Version. Tech. Rep. of the School of Comp. Sci., Univ. Autónoma Madrid. http://www.ii.uam.es/~jlara/ investigacion/techrep_03_06.pdf.
11. Rozenberg, G. (managing ed.) 1999. Handbook of Graph Grammars and Computing by Graph Transformation. Vol.1 (Foundations), Vol.2(Applications, Languages and Tools), Vol.3., (Concurrency, Parallelism and Distribution). World Scientific.
12. Schürr, A. Programmed Graph Replacement Systems. In [11], Vol.1, pp.: 479 - 546.