BibTeX record conf/pcl/Villadsen02

download as .bib file

@inproceedings{DBLP:conf/pcl/Villadsen02,
  author    = {J{\o}rgen Villadsen},
  editor    = {Hendrik Decker and
               J{\o}rgen Villadsen and
               Toshiharu Waragai},
  title     = {A Paraconsistent Higher Order Logic},
  booktitle = {Paraconsistent Computational Logic, This proceedings volume contains
               the papers presented at the {ICLP} 2002 workshop Paraconsistent Computational
               Logic, on July 27, in Copenhagen, Denmark, as part of the Federated
               Logic Conference (FLoC)},
  series    = {Datalogiske Skrifter},
  volume    = {95},
  pages     = {33--49},
  publisher = {Roskilde University, Roskilde, Denmark},
  year      = {2002},
  url       = {https://arxiv.org/abs/cs/0207088},
  timestamp = {Fri, 29 Jan 2021 22:08:09 +0100},
  biburl    = {https://dblp.org/rec/conf/pcl/Villadsen02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics