Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs2.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/Banach95,
author = {Richard Banach},
editor = {Andrea Corradini and
Ugo Montanari},
title = {{DPO} rewriting and abstract semantics via opfibrations},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {3--10},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80174-4},
doi = {10.1016/S1571-0661(05)80174-4},
timestamp = {Fri, 11 Nov 2022 13:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Banach95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarendsenS95,
author = {Erik Barendsen and
Sjaak Smetsers},
editor = {Andrea Corradini and
Ugo Montanari},
title = {A derivation system for uniqueness typing},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {11--18},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80175-6},
doi = {10.1016/S1571-0661(05)80175-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarendsenS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bauderon95,
author = {Michel Bauderon},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Parallel rewriting of graphs through the pullback approach},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {19--26},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80176-8},
doi = {10.1016/S1571-0661(05)80176-8},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bauderon95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BestK95,
author = {Eike Best and
Maciej Koutny},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Using net refinement to compute the fixpoint of a recursive},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {27--28},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80177-X},
doi = {10.1016/S1571-0661(05)80177-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BestK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrockO95,
author = {Simon Brock and
Gerald Ostheimer},
editor = {Andrea Corradini and
Ugo Montanari},
title = {A process semantics for functional programming},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {29--35},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80178-1},
doi = {10.1016/S1571-0661(05)80178-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrockO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClarkK95,
author = {David Clark and
Richard Kennaway},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Some properties of non-orthogonal term graph rewriting systems},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {36--45},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80179-3},
doi = {10.1016/S1571-0661(05)80179-3},
timestamp = {Thu, 29 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClarkK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Corradini95,
author = {Andrea Corradini},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Concurrent computing: from Petri nets to graph grammars},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {56--70},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80181-1},
doi = {10.1016/S1571-0661(05)80181-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Corradini95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniH95,
author = {Andrea Corradini and
Reiko Heckel},
editor = {Andrea Corradini and
Ugo Montanari},
title = {A compositional approach to structuring and refinement of typed graph
grammars},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {46--55},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80180-X},
doi = {10.1016/S1571-0661(05)80180-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniM95,
author = {Andrea Corradini and
Ugo Montanari},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Preface},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {1--2},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80173-2},
doi = {10.1016/S1571-0661(05)80173-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Courcelle95,
author = {Bruno Courcelle},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Logic and graphs},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {71--72},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80182-3},
doi = {10.1016/S1571-0661(05)80182-3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Courcelle95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DrappaM95,
author = {Anke Drappa and
Ralf Melchisedech},
editor = {Andrea Corradini and
Ugo Montanari},
title = {The use of graph grammar in a software engineering education tool},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {73--80},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80183-5},
doi = {10.1016/S1571-0661(05)80183-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DrappaM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Drewes95,
author = {Frank Drewes},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Semirings and tree-to-graph-to-tree transductions},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {81--88},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80184-7},
doi = {10.1016/S1571-0661(05)80184-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Drewes95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ehrig95,
author = {Hartmut Ehrig},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Introduction to {COMPUGRAPH}},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {89--100},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80185-9},
doi = {10.1016/S1571-0661(05)80185-9},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ehrig95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EngelsS95,
author = {Gregor Engels and
Andy Sch{\"{u}}rr},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Encapsulated hierarchical graphs, graph types, and meta types},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {101--109},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80186-0},
doi = {10.1016/S1571-0661(05)80186-0},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EngelsS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HabelP95,
author = {Annegret Habel and
Detlef Plump},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Unification, rewriting, and narrowing on term graphs},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {110--117},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80187-2},
doi = {10.1016/S1571-0661(05)80187-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HabelP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeckelW95,
author = {Reiko Heckel and
Annika Wagner},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Ensuring consistency of conditional graph rewriting - a constructive
approach},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {118--126},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80188-4},
doi = {10.1016/S1571-0661(05)80188-4},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeckelW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeimannJKW95,
author = {Peter Heimann and
Gregor Joeris and
Carl{-}Arndt Krapp and
Bernhard Westfechtel},
editor = {Andrea Corradini and
Ugo Montanari},
title = {A programmed graph rewriting system for software process management},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {127--136},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80189-6},
doi = {10.1016/S1571-0661(05)80189-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeimannJKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Janssens95,
author = {Dirk Janssens},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Process languages for {ESM} systems},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {137--138},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80190-2},
doi = {10.1016/S1571-0661(05)80190-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Janssens95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Johnsson95,
author = {Thomas Johnsson},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Graph reduction, and how to avoid it},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {139--152},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80191-4},
doi = {10.1016/S1571-0661(05)80191-4},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Johnsson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kennaway95,
author = {Richard Kennaway},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Infinitary rewriting and cyclic graphs},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {153--166},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80192-6},
doi = {10.1016/S1571-0661(05)80192-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kennaway95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KhasidashviliO95,
author = {Zurab Khasidashvili and
Vincent van Oostrom},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Context-sensitive conditional expression reduction systems},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {167--176},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80193-8},
doi = {10.1016/S1571-0661(05)80193-8},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KhasidashviliO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KorffR95,
author = {Martin Korff and
Leila Ribeiro},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Concurrent derivations as single pushout graph grammar processes},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {177--186},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80194-X},
doi = {10.1016/S1571-0661(05)80194-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KorffR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kreowski95,
author = {Hans{-}J{\"{o}}rg Kreowski},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Specification and programming (by graph transformation)},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {187--190},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80195-1},
doi = {10.1016/S1571-0661(05)80195-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kreowski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kuske95,
author = {Sabine Kuske},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Implementing beta-reduction by hypergraph rewriting},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {191--198},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80196-3},
doi = {10.1016/S1571-0661(05)80196-3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kuske95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LitovskyMS95,
author = {Igor Litovsky and
Yves M{\'{e}}tivier and
{\'{E}}ric Sopena},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Checking global graph properties by means of local computations: the
majority problem},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {199--206},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80197-5},
doi = {10.1016/S1571-0661(05)80197-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LitovskyMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MonserratRTV95,
author = {Miquel Monserrat and
Francesc Rossell{\'{o}} and
Joan Torrens and
Gabriel Valiente},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Hypergraph rewriting using conformisms},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {207--214},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80198-7},
doi = {10.1016/S1571-0661(05)80198-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MonserratRTV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Plasmeijer95,
author = {Marinus J. Plasmeijer},
editor = {Andrea Corradini and
Ugo Montanari},
title = {{CLEAN:} a programming environment based on term graph rewriting},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {215--221},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80199-9},
doi = {10.1016/S1571-0661(05)80199-9},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Plasmeijer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QuemenerJ95,
author = {Yves{-}Marie Quemener and
Thierry J{\'{e}}ron},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Model-checking of infinite Kripke structures defined by simple graph
grammars},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {222--229},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80200-2},
doi = {10.1016/S1571-0661(05)80200-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QuemenerJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SchiedB95,
author = {Georg Schied and
Klaus Barthelmann},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Linear types for higher order processes with first class directed
channels},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {230--237},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80201-4},
doi = {10.1016/S1571-0661(05)80201-4},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SchiedB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schneider95,
author = {Hans J{\"{u}}rgen Schneider},
editor = {Andrea Corradini and
Ugo Montanari},
title = {A note on outward and inward productions in the categorical graph-grammar
approach and Delta-grammars},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {238--245},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80202-6},
doi = {10.1016/S1571-0661(05)80202-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schneider95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Seese95,
author = {Detlef Seese},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Linear time computable problems and logical descriptions},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {246--259},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80203-8},
doi = {10.1016/S1571-0661(05)80203-8},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Seese95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShandB95,
author = {Duncan Shand and
Simon Brock},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Proofs as graphs},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {260--267},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80204-X},
doi = {10.1016/S1571-0661(05)80204-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ShandB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sleep95,
author = {M. Ronan Sleep},
editor = {Andrea Corradini and
Ugo Montanari},
title = {{SEMAGRAPH:} the theory and practice of term graph rewriting},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {268--276},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80205-1},
doi = {10.1016/S1571-0661(05)80205-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sleep95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TaentzerS95,
author = {Gabriele Taentzer and
Andy Sch{\"{u}}rr},
editor = {Andrea Corradini and
Ugo Montanari},
title = {DIEGO, another step towards a module concept for graph transformation
systems},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {277--285},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80206-3},
doi = {10.1016/S1571-0661(05)80206-3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TaentzerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wadsworth95,
author = {Chris Wadsworth},
editor = {Andrea Corradini and
Ugo Montanari},
title = {Graph reduction: a retrospective},
booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
pages = {286},
publisher = {Elsevier},
year = {1995},
url = {https://doi.org/10.1016/S1571-0661(05)80207-5},
doi = {10.1016/S1571-0661(05)80207-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wadsworth95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/segragra/1995,
editor = {Andrea Corradini and
Ugo Montanari},
title = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation,
{SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995},
series = {Electronic Notes in Theoretical Computer Science},
volume = {2},
publisher = {Elsevier},
year = {1995},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/2/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/segragra/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-02 12:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
