BibTeX record conf/sycss/CominiT13a

download as .bib file

@inproceedings{DBLP:conf/sycss/CominiT13a,
  author    = {Marco Comini and
               Luca Torella},
  editor    = {Laura Kov{\'{a}}cs and
               Temur Kutsia},
  title     = {A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step
               Behavior of Rewriting},
  booktitle = {5th International Symposium on Symbolic Computation in Software Science,
               {SCSS} 2013, Castle of Hagenberg, Austria},
  series    = {EPiC Series in Computing},
  volume    = {15},
  pages     = {31--49},
  publisher = {EasyChair},
  year      = {2013},
  url       = {https://easychair.org/publications/paper/Pzf},
  timestamp = {Wed, 27 May 2020 16:02:35 +0200},
  biburl    = {https://dblp.org/rec/conf/sycss/CominiT13a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics