BibTeX record conf/wlp/GeskeL93

download as .bib file

@inproceedings{DBLP:conf/wlp/GeskeL93,
  author    = {Ulrich Geske and
               Mario Lenz},
  editor    = {Christoph Beierle},
  title     = {Generierung von Typ-Information durch abstrakte Interpretation nach
               einer modifizierten OLDT-Resolution},
  booktitle = {9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universit{\"{a}}t
               Hagen, Germany, Informatik-Bericht 146},
  pages     = {27--31},
  year      = {1993},
  timestamp = {Thu, 21 Mar 2019 11:19:43 +0100},
  biburl    = {https://dblp.org/rec/conf/wlp/GeskeL93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics