DMCA

Proof Search and Co-NP Completeness for Many-Valued Logics

Cached

Download Links

by Mattia Bongini , Agata Ciabattoni , Franco Montagna