Proof search and Co-NP completeness for many-valued logics (bibtex)
by Mattia Bongini, Agata Ciabattoni, Franco Montagna
Reference:
Proof search and Co-NP completeness for many-valued logicsMattia Bongini, Agata Ciabattoni, Franco MontagnaFuzzy Sets and Systems, volume 292, pages 130–149, 2016.
Bibtex Entry:
@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}
}
Powered by bibtexbrowser