Algebraic Transformation of Unary Partial Algebras II: Single-Pushout Approach

[1]  A CATEGORY OF PARTIAL HOMOMORPHISMS OF PARTIAL ALGEBRAS THAT IS ALWAYS COCOMPLETE , 1999 .

[2]  F. Rosselló,et al.  A NOTE ON A SERIES OF PAPERS BY BURMEISTER AND WOJDYtO , 1997 .

[3]  Joan Torrens,et al.  Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach , 1997, Theor. Comput. Sci..

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

[5]  J. Torrens,et al.  Rewriting in categories of spans , 1996 .

[6]  Joan Torrens,et al.  When is a Category of Many-Sorted Partial Algebras Cartesian-Closed? , 1995, Int. J. Found. Comput. Sci..

[7]  Joan Torrens,et al.  Hypergraph rewriting using conformisms , 1995, Electron. Notes Theor. Comput. Sci..

[8]  Francesc Rosselló,et al.  A Partial Algebras Approach to Graph Transformation , 1994, TAGT.

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

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

[11]  Hartmut Ehrig,et al.  Categorical principles, techniques and results for high-level-replacement systems in computer science , 1993, Appl. Categorical Struct..

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

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

[14]  Yasuo Kawahara,et al.  Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

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

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

[17]  Michel Bidoit,et al.  Algebraic System Specification and Development: A Survey and Annotated Bibliography , 1991 .

[18]  Richard Kennaway,et al.  Graph Rewriting in Some Categories of Partial Morphisms , 1990, Graph-Grammars and Their Application to Computer Science.

[19]  Annegret Habel,et al.  Amalgamation of Graph Transformations: A Synchronization Mechanism , 1987, J. Comput. Syst. Sci..

[20]  Ugo Montanari,et al.  A model for distributed systems based on graph rewriting , 1987, JACM.

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

[22]  Jean-Claude Raoult,et al.  On graph rewritings , 1984, Bull. EATCS.

[23]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[24]  Partial morphisms on partial algebras , 1973 .