Confluence for graph transformations

Theoretical Computer Science

Volumn 154, Issue 2, 1996, Pages 329-348

  Lafaye De Micheaux, N ^a   Rambaud, C ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; GRAPH THEORY; PROBLEM SOLVING; THEOREM PROVING;

CONFLUENCE THEOREM; GRAPH REWRITING SYSTEMS; GRAPH TRANSFORMATIONS; TERM REWRITING SYSTEMS;

COMPUTATION THEORY;

EID: 0347874669     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00007-0     Document Type: Article

References (11)

1. M. Bauderon and B. Courcelle, Graph expressions and graph rewritings, Math. Systems Theory 20 (1987) 83-127.
2. H. Erigh, Introduction to the algebraic theory of graphs, Lecture Notes in Computer Science, Vol. 73 (Springer, Berlin, 1979) 1-69.
3. H. Ehrig, H.J. Kreowski, A. Maggiolo-Schettini, B.K. Rosen and J. Winkowski, Transformation of structures: an algebraic approach. Math. Systems Theory 16 (1981) 305-334.
4. G. Huet, Confluent reductions: abstract properties and applications to term rewriting systems, J. Assoc. Comput. Mach 27 (1980) 797-821.
5. J.P. Jouannaud, and M. Munoz, Termination of a set of rules modulo a set of equations, in: Shostak, ed., Lectures Notes in Computer Science, Vol. 170, Proc. 7th Internat. Conf. on Automated Deduction (Springer, Berlin, 1984) 175-193.
6. R. Kennnaway, On "On graph rewritings", Theoret. Comput. Sci. 52 (1987) 37-58.
7. D.E. Knuth and P. Bendix, Simple word problems in universal algebras, in: J. Leech, ed., Computational Problems in Abstract Algebras (Pergamon Press, Oxford, 1970) 263-297.
8. Y. Okada and M. Hayashi, Graph rewriting systems and their application to network reliability analysis, Lecture Notes in Computer Science, Vol. 570 (Springer, Berlin, 1991) 36-47.
9. G.E. Peterson and M.E. Stickel, Complete sets of reductions for some equational theories, Assoc. Comput. Mach. 28 (1981) 233-264.
10. J.C. Raoult, On graph rewritings, Theoret. Comput. Sci. 32 (1984) 1-24.
11. B.K. Rosen, Deriving graphs from graphs by applying a production, Acta Inform. 4 (1975) 337-357.