BibTeX record journals/corr/AntoyJL15

download as .bib file

@inproceedings{DBLP:journals/corr/AntoyJL15,
  author    = {Sergio Antoy and
               Jacob Johannsen and
               Steven Libby},
  title     = {Needed Computations Shortcutting Needed Steps},
  booktitle = {Proceedings 8th International Workshop on Computing with Terms and
               Graphs, {TERMGRAPH} 2014, Vienna, Austria, July 13, 2014.},
  pages     = {18--32},
  year      = {2014},
  crossref  = {DBLP:journals/corr/MiddeldorpR15},
  url       = {https://doi.org/10.4204/EPTCS.183.2},
  doi       = {10.4204/EPTCS.183.2},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AntoyJL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/MiddeldorpR15,
  editor    = {Aart Middeldorp and
               Femke van Raamsdonk},
  title     = {Proceedings 8th International Workshop on Computing with Terms and
               Graphs, {TERMGRAPH} 2014, Vienna, Austria, July 13, 2014},
  series    = {{EPTCS}},
  volume    = {183},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.183},
  doi       = {10.4204/EPTCS.183},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/MiddeldorpR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics