Proof search and Co-NP completeness for many-valued logics

Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco

doi:10.1016/j.fss.2015.02.016

by Mattia Bongini, Agata Ciabattoni, Franco Montagna

Reference:

Proof search and Co-NP completeness for many-valued logicsMattia Bongini, Agata Ciabattoni, Franco Montagnavolume 292, pages 130–149, 2016.

Bibtex Entry:

@ignore_article{DBLP:journals/fss/BonginiCM16,
  author    = {Mattia Bongini and
               Agata Ciabattoni and
               Franco Montagna},
  title     = {Proof search and Co-NP completeness for many-valued logics},
  journal   = {Fuzzy Sets and Systems},
  volume    = {292},
  pages     = {130--149},
  year      = {2016},
  url       = {http://dx.doi.org/10.1016/j.fss.2015.02.016},
  doi       = {10.1016/j.fss.2015.02.016},
  timestamp = {Fri, 18 Mar 2016 13:33:58 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fss/BonginiCM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}