Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995 (Q1273551)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Wadsworth, Chris}, Graph reduction: A retrospective, 1 p. [Zbl 0910.68156] \textit{Best, Eike; Koutny, Maciej}, Using net refinement to compute the fixpoint of a recursive expression, 2 p. [Zbl 0910.68134] \textit{Courcelle, Bruno}, Logic and graphs, 2 p. [Zbl 0910.68112] \textit{Janssens, Dirk}, Process languages for ESM systems, 2 p. [Zbl 0910.68157] \textit{Kreowski, Hans-Jörg}, Specification and programming (by graph transformation), 4 p. [Zbl 0910.68139] \textit{Brock, Simon; Ostheimer, Gerald}, A process semantics for functional programming, 7 p. [Zbl 0910.68117] \textit{Plasmeijer, M. J.}, CLEAN: A programming environment based on term graph rewriting, 7 p. [Zbl 0910.68120] \textit{Banach, Richard}, DPO rewriting and abstract semantics via opfibrations, 8 p. [Zbl 0910.68123] \textit{Barendsen, Erik; Smetsers, Sjaak}, A derivation system for uniqueness typing, 8 p. [Zbl 0910.68096] \textit{Bauderon, Michel}, Parallel rewriting of graphs through the pullback approach, 8 p. [Zbl 0910.68100] \textit{Drappa, Anke; Melchisedech, Ralf}, The use of graph grammar in a software engineering education tool, 8 p. [Zbl 0910.68114] \textit{Drewes, Frank}, Semirings and tree-to-graph-to-tree transductions, 8 p. [Zbl 0910.68102] \textit{Habel, Annegret; Plump, Detlef}, Unification, rewriting, and narrowing on the term graphs, 8 p. [Zbl 0910.68158] \textit{Kuske, Sabine}, Implementing \(\beta\)-reduction by hypergraph rewriting, 8 p. [Zbl 0911.68092] \textit{Litovsky, Igor; Métivier, Yves; Sopena, Eric}, Checking global graph properties by means of local computations: the majority problem., 8 p. [Zbl 1114.68455] \textit{Monserrat, M.; Rosselló, F.; Torrens, J.; Valiente, G.}, Hypergraph rewriting using conformisms, 8 p. [Zbl 0911.68091] \textit{Quemener, Yves-Marie; Jéron, Thierry}, Model-checking of infinite Kripke structures defined by simple graph grammars, 8 p. [Zbl 0910.68113] \textit{Schied, Georg; Barthelmann, Klaus}, Linear types for higher order processes with first class directed channels, 8 p. [Zbl 0910.68034] \textit{Schneider, Hans Jürgen}, A note on outward and inward productions in the categorical graph-grammar approach and \(\Delta\)-grammars, 8 p. [Zbl 0910.68115] \textit{Shand, Duncan; Brock, Simon}, Proofs as graphs, 8 p. [Zbl 0910.68192] \textit{Engels, Gregor; Schürr, Andy}, Encapsulated hierarchical graphs, graph types, and meta types, 9 p. [Zbl 0910.68110] \textit{Heckel, Reiko; Wagner, Annika}, Ensuring consistency of conditional graph rewriting -- a constructive approach, 9 p. [Zbl 0910.68154] \textit{Taentzer, Gabriele; Schürr, Andy}, DIEGO, another step towards a module concept for graph transformation systems, 9 p. [Zbl 0910.68121] \textit{Sleep, Ronan}, SEMAGRAPH: The theory and practice of term graph rewriting, 9 p. [Zbl 0910.68101] \textit{Clark, David; Kennaway, Richard}, Some properties of non-orthogonal term graph rewriting systems, 10 p. [Zbl 0910.68103] \textit{Corradini, Andrea; Heckel, Reiko}, A compositional approach to structuring and refinement of typed graph grammars, 10 p. [Zbl 0910.68116] \textit{Heimann, Peter; Joeris, Gregor; Krapp, Carl-Arndt; Westfechtel, Bernhard}, A programmed graph rewriting system for software process management, 10 p. [Zbl 0910.68097] \textit{Khasidashvili, Zurab; van Oostrom, Vincent}, Context-sensitive conditional expression reduction systems, 10 p. [Zbl 0910.68098] \textit{Korff, Martin; Ribeiro, Leilo}, Concurrent derivations as single pushout graph grammar processes, 10 p. [Zbl 0910.68153] \textit{Ehrig, Hartmut}, Introduction to COMPUGRAPH, 12 p. [Zbl 0910.68111] \textit{Johnsson, Thomas}, Graph reduction, and how to avoid it, 14 p. [Zbl 0910.68155] \textit{Kennaway, Richard}, Infinitary rewriting and cyclic graphs, 14 p. [Zbl 0910.68099] \textit{Seese, Detlef}, Linear time computable problems and logical descriptions, 14 p. [Zbl 0910.68033] \textit{Corradini, Andrea}, Concurrent computing: From Petri nets to graph grammars, 15 p. [Zbl 0910.68109]