BibTeX record conf/pcl/BesnardSTW02

download as .bib file

@inproceedings{DBLP:conf/pcl/BesnardSTW02,
  author    = {Philippe Besnard and
               Torsten Schaub and
               Hans Tompits and
               Stefan Woltran},
  editor    = {Hendrik Decker and
               J{\o}rgen Villadsen and
               Toshiharu Waragai},
  title     = {Paraconsistent Reasoning via Quantified Boolean Formulas, {I:} Axiomatising
               Signed Systems},
  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     = {1--15},
  publisher = {Roskilde University, Roskilde, Denmark},
  year      = {2002},
  url       = {https://arxiv.org/abs/cs/0207084},
  timestamp = {Fri, 29 Jan 2021 22:08:08 +0100},
  biburl    = {https://dblp.org/rec/conf/pcl/BesnardSTW02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics