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