The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SEGRAGRA"( http://dblp.L3S.de/Venues/SEGRAGRA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/segragra

Publication years (Num. hits)
1995 (36)
Publication types (Num. hits)
inproceedings(35) proceedings(1)
Venues (Conferences, Journals, ...)
SEGRAGRA(36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Georg Schied, Klaus Barthelmann Linear types for higher order processes with first class directed channels. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Yves-Marie Quemener, Thierry Jéron Model-checking of infinite Kripke structures defined by simple graph grammars. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Duncan Shand, Simon Brock Proofs as graphs. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David Clark 0001, Richard Kennaway Some properties of non-orthogonal term graph rewriting systems. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marinus J. Plasmeijer CLEAN: a programming environment based on term graph rewriting. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Zurab Khasidashvili, Vincent van Oostrom Context-sensitive conditional expression reduction systems. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hartmut Ehrig Introduction to COMPUGRAPH. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Miquel Monserrat, Francesc Rosselló, Joan Torrens, Gabriel Valiente Hypergraph rewriting using conformisms. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gregor Engels, Andy Schürr Encapsulated hierarchical graphs, graph types, and meta types. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Chris Wadsworth Graph reduction: a retrospective. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Andrea Corradini 0001, Ugo Montanari Preface. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Reiko Heckel, Annika Wagner Ensuring consistency of conditional graph rewriting - a constructive approach. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Detlef Seese Linear time computable problems and logical descriptions. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Sabine Kuske Implementing beta-reduction by hypergraph rewriting. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Eike Best, Maciej Koutny Using net refinement to compute the fixpoint of a recursive. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Andrea Corradini 0001 Concurrent computing: from Petri nets to graph grammars. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel A programmed graph rewriting system for software process management. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Dirk Janssens Process languages for ESM systems. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Anke Drappa, Ralf Melchisedech The use of graph grammar in a software engineering education tool. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Martin Korff, Leila Ribeiro 0001 Concurrent derivations as single pushout graph grammar processes. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hans-Jörg Kreowski Specification and programming (by graph transformation). Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Thomas Johnsson Graph reduction, and how to avoid it. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hans Jürgen Schneider A note on outward and inward productions in the categorical graph-grammar approach and Delta-grammars. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Igor Litovsky, Yves Métivier, Éric Sopena Checking global graph properties by means of local computations: the majority problem. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Annegret Habel, Detlef Plump Unification, rewriting, and narrowing on term graphs. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Erik Barendsen, Sjaak Smetsers A derivation system for uniqueness typing. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Bruno Courcelle Logic and graphs. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Richard Banach DPO rewriting and abstract semantics via opfibrations. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Richard Kennaway Infinitary rewriting and cyclic graphs. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Andrea Corradini 0001, Reiko Heckel A compositional approach to structuring and refinement of typed graph grammars. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Simon Brock, Gerald Ostheimer A process semantics for functional programming. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gabriele Taentzer, Andy Schürr DIEGO, another step towards a module concept for graph transformation systems. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1M. Ronan Sleep SEMAGRAPH: the theory and practice of term graph rewriting. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Frank Drewes Semirings and tree-to-graph-to-tree transductions. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Michel Bauderon Parallel rewriting of graphs through the pullback approach. Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Andrea Corradini 0001, Ugo Montanari (eds.) Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995 Search on Bibsonomy SEGRAGRA The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license