BibTeX record conf/inap/Wernhard11

download as .bib file

@inproceedings{DBLP:conf/inap/Wernhard11,
  author       = {Christoph Wernhard},
  editor       = {Hans Tompits and
                  Salvador Abreu and
                  Johannes Oetsch and
                  J{\"{o}}rg P{\"{u}}hrer and
                  Dietmar Seipel and
                  Masanobu Umeda and
                  Armin Wolf},
  title        = {Computing with Logic as Operator Elimination: The ToyElim System},
  booktitle    = {Applications of Declarative Programming and Knowledge Management -
                  19th International Conference, {INAP} 2011, and 25th Workshop on Logic
                  Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7773},
  pages        = {289--296},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-41524-1\_17},
  doi          = {10.1007/978-3-642-41524-1\_17},
  timestamp    = {Sun, 02 Jun 2019 21:27:34 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Wernhard11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics