BibTeX record journals/corr/abs-1302-6334

download as .bib file

@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:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6334.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics