Record link: 
http://hdl.handle.net/20.500.12708/148619
-
Title: 
Proof search and Co-NP completeness for many-valued logics
en
Citation: 
Bongini, M., Ciabattoni, A., & Montagna, F. (2016). Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets and Systems, 292, 130–149. https://doi.org/10.1016/j.fss.2015.02.016
-
Publisher DOI: 
10.1016/j.fss.2015.02.016
-
Publication Type: 
Article - Original Research Article
en
Language: 
English
-
Authors: 
Bongini, Mattia 
Ciabattoni, Agata 
Montagna, Franco 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Journal: 
Fuzzy Sets and Systems 
-
ISSN: 
0165-0114
-
Date (published): 
1-Jun-2016
-
Number of Pages: 
20
-
Publisher: 
ELSEVIER
-
Peer reviewed: 
Yes
-
Keywords: 
Artificial Intelligence; Logic
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
Informatik
-
Appears in Collections:
Article

Show full item record

Google ScholarTM

Check

OSZAR »