BibTeX record conf/lpe/AroraRRSS93

download as .bib file

@inproceedings{DBLP:conf/lpe/AroraRRSS93,
  author    = {Tarun Arora and
               Raghu Ramakrishnan and
               William G. Roth and
               Praveen Seshadri and
               Divesh Srivastava},
  title     = {Explaining Program Execution in Deductive Systems},
  booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
               {(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
               Vancouver, British Columbia, Canada},
  pages     = {1--7},
  year      = {1993},
  crossref  = {DBLP:conf/lpe/1993},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpe/AroraRRSS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1993,
  editor    = {Mireille Ducass{\'{e}} and
               Baudouin Le Charlier and
               Yow{-}Jian Lin and
               L. {\"{U}}mit Yal{\c{c}}inalp},
  title     = {Proceedings of the 5th Workshop on Logic Programming Environments
               {(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
               Vancouver, British Columbia, Canada},
  publisher = {IRISA, Campus de Beaulieu, France},
  year      = {1993},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpe/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics