Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Georg Schied, Klaus Barthelmann |
Linear types for higher order processes with first class directed channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 230-237, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yves-Marie Quemener, Thierry Jéron |
Model-checking of infinite Kripke structures defined by simple graph grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 222-229, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Duncan Shand, Simon Brock |
Proofs as graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 260-267, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Clark 0001, Richard Kennaway |
Some properties of non-orthogonal term graph rewriting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 36-45, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marinus J. Plasmeijer |
CLEAN: a programming environment based on term graph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 215-221, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Zurab Khasidashvili, Vincent van Oostrom |
Context-sensitive conditional expression reduction systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 167-176, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig |
Introduction to COMPUGRAPH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 89-100, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Monserrat, Francesc Rosselló, Joan Torrens, Gabriel Valiente |
Hypergraph rewriting using conformisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 207-214, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Andy Schürr |
Encapsulated hierarchical graphs, graph types, and meta types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 101-109, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chris Wadsworth |
Graph reduction: a retrospective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 286, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Ugo Montanari |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 1-2, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Annika Wagner |
Ensuring consistency of conditional graph rewriting - a constructive approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 118-126, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Seese |
Linear time computable problems and logical descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 246-259, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Kuske |
Implementing beta-reduction by hypergraph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 191-198, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Maciej Koutny |
Using net refinement to compute the fixpoint of a recursive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 27-28, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001 |
Concurrent computing: from Petri nets to graph grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 56-70, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel |
A programmed graph rewriting system for software process management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 127-136, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Janssens |
Process languages for ESM systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 137-138, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anke Drappa, Ralf Melchisedech |
The use of graph grammar in a software engineering education tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 73-80, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Korff, Leila Ribeiro 0001 |
Concurrent derivations as single pushout graph grammar processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 177-186, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski |
Specification and programming (by graph transformation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 187-190, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Johnsson |
Graph reduction, and how to avoid it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 139-152, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hans Jürgen Schneider |
A note on outward and inward productions in the categorical graph-grammar approach and Delta-grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 238-245, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Igor Litovsky, Yves Métivier, Éric Sopena |
Checking global graph properties by means of local computations: the majority problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 199-206, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Annegret Habel, Detlef Plump |
Unification, rewriting, and narrowing on term graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 110-117, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erik Barendsen, Sjaak Smetsers |
A derivation system for uniqueness typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 11-18, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle |
Logic and graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 71-72, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach |
DPO rewriting and abstract semantics via opfibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 3-10, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Richard Kennaway |
Infinitary rewriting and cyclic graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 153-166, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Reiko Heckel |
A compositional approach to structuring and refinement of typed graph grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 46-55, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Simon Brock, Gerald Ostheimer |
A process semantics for functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 29-35, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Andy Schürr |
DIEGO, another step towards a module concept for graph transformation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 277-285, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | M. Ronan Sleep |
SEMAGRAPH: the theory and practice of term graph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 268-276, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Frank Drewes |
Semirings and tree-to-graph-to-tree transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 81-88, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bauderon |
Parallel rewriting of graphs through the pullback approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEGRAGRA ![In: Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995, pp. 19-26, 1995, Elsevier. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea 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](Pics/bibsonomy.png) |
SEGRAGRA ![Elsevier The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|