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},
  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)},
  pages     = {1--15},
  year      = {2002},
  crossref  = {DBLP:conf/pcl/2002},
  url       = {http://arxiv.org/abs/cs.LO/0207084},
  timestamp = {Tue, 21 Oct 2008 15:42:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pcl/BesnardSTW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pcl/2002,
  editor    = {Hendrik Decker and
               J{\o}rgen Villadsen and
               Toshiharu Waragai},
  title     = {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},
  publisher = {Roskilde University, Roskilde, Denmark},
  year      = {2002},
  timestamp = {Tue, 27 Apr 2004 10:42:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pcl/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics