Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1302-6334,
  author       = {Guillaume Bonfante and
                  Bruno Guillaume},
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Non-simplifying Graph Rewriting Termination},
  booktitle    = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  pages        = {4--16},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110.3},
  doi          = {10.4204/EPTCS.110.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6334.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6335,
  author       = {Patrick Bahr},
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended
                  Abstract)},
  booktitle    = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  pages        = {17--28},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110.4},
  doi          = {10.4204/EPTCS.110.4},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6335.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6336,
  author       = {Manfred Schmidt{-}Schau{\ss}},
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Linear Compressed Pattern Matching for Polynomial Rewriting (Extended
                  Abstract)},
  booktitle    = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  pages        = {29--40},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110.5},
  doi          = {10.4204/EPTCS.110.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6336.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6337,
  author       = {Beniamino Accattoli},
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Evaluating functions as processes},
  booktitle    = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  pages        = {41--55},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110.6},
  doi          = {10.4204/EPTCS.110.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6337.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6338,
  author       = {Clemens Grabmayer and
                  Jan Rochel},
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Term Graph Representations for Cyclic Lambda-Terms},
  booktitle    = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  pages        = {56--73},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110.7},
  doi          = {10.4204/EPTCS.110.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6338.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-6339,
  author       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie and
                  Matthew Walker},
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Bigraphical Nets},
  booktitle    = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  pages        = {74--81},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110.8},
  doi          = {10.4204/EPTCS.110.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6339.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1302-5997,
  editor       = {Rachid Echahed and
                  Detlef Plump},
  title        = {Proceedings 7th International Workshop on Computing with Terms and
                  Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
  series       = {{EPTCS}},
  volume       = {110},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.110},
  doi          = {10.4204/EPTCS.110},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-5997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}