论文信息 - A Partial Algebras Approach to Graph Transformation - 字舞流文

A Partial Algebras Approach to Graph Transformation

Francesc Rosselló | Gabriel Valiente | Ricardo Alberich | Peter Burmeister | Boleslaw Wojdylo

[1] Peter Burmeister,et al. Partial Algebras — An Introductory Survey , 1993 .

[2] Peter Burmeister,et al. THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. I , 1992 .

[3] Gabriel Valiente,et al. Verification of knowledge base redundancy and subsumption using graph transformations , 1993 .

[4] P. Burmeister. A Model Theoretic Oriented Approach to Partial Algebras , 1986 .

[5] Gabriel Valiente,et al. Knowledge Base Verification Using Algebraic Graph Transformations , 1994 .

[6] Martin Gogolla,et al. Defining Operational Behavior of Object Specifications by Attributed Graph Transformations , 1996, Fundam. Informaticae.

[7] Michael Löwe,et al. Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..

[8] Julia Padberg. Survey of High-Level Replacement Systems , 1993 .

[9] Hartmut Ehrig,et al. Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts , 1990, Graph-Grammars and Their Application to Computer Science.

[10] Gabriel Valiente Feruglio. On knowledge base redundancy under uncertain reasoning , 1992 .