Journals in DBLP
Michel Bauderon Parallel rewriting of graphs through the pullback approach. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Richard Kennaway Infinitary rewriting and cyclic graphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Zurab Khasidashvili , Vincent van Oostrom Context-sensitive conditional expression reduction systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Martin Korff , Leila Ribeiro Concurrent derivations as single pushout graph grammar processes. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Hans-Jörg Kreowski Specification and programming (by graph transformation). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Sabine Kuske Implementing beta-reduction by hypergraph rewriting. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Igor Litovsky , Yves Métivier , Eric Sopena Checking global graph properties by means of local computations: the majority problem. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Miquel Monserrat , Francesc Rosselló , Joan Torrens , Gabriel Valiente Hypergraph rewriting using conformisms. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Marinus J. Plasmeijer CLEAN: a programming environment based on term graph rewriting. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Yves-Marie Quemener , Thierry Jéron Model-checking of infinite Kripke structures defined by simple graph grammars. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Georg Schied , Klaus Barthelmann Linear types for higher order processes with first class directed channels. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Hans Jürgen Schneider A note on outward and inward productions in the categorical graph-grammar approach and Delta-grammars. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Detlef Seese Linear time computable problems and logical descriptions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Duncan Shand , Simon Brock Proofs as graphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] M. Ronan Sleep SEMAGRAPH: the theory and practice of term graph rewriting. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Gabriele Taentzer , Andy Schürr DIEGO, another step towards a module concept for graph transformation systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Thomas Johnsson Graph reduction, and how to avoid it. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Dirk Janssens Process languages for ESM systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Peter Heimann , Gregor Joeris , Carl-Arndt Krapp , Bernhard Westfechtel A programmed graph rewriting system for software process management. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Richard Banach DPO rewriting and abstract semantics via opfibrations. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Erik Barendsen , Sjaak Smetsers A derivation system for uniqueness typing. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Eike Best , Maciej Koutny Using net refinement to compute the fixpoint of a recursive. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Simon Brock , Gerald Ostheimer A process semantics for functional programming. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] David Clark , Richard Kennaway Some properties of non-orthogonal term graph rewriting systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Andrea Corradini Concurrent computing: from Petri nets to graph grammars. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Andrea Corradini , Reiko Heckel A compositional approach to structuring and refinement of typed graph grammars. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Andrea Corradini , Ugo Montanari Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Bruno Courcelle Logic and graphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Anke Drappa , Ralf Melchisedech The use of graph grammar in a software engineering education tool. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Frank Drewes Semirings and tree-to-graph-to-tree transductions. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Hartmut Ehrig Introduction to COMPUGRAPH. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Gregor Engels , Andy Schürr Encapsulated hierarchical graphs, graph types, and meta types. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Annegret Habel , Detlef Plump Unification, rewriting, and narrowing on term graphs. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Reiko Heckel , Annika Wagner Ensuring consistency of conditional graph rewriting - a constructive approach. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Chris Wadsworth Graph reduction: a retrospective. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ]