On the computational consequences of independence in propositional logic

Authors
Publication date 2006
Journal Synthese
Volume | Issue number 149
Pages (from-to) 257-283
Number of pages 26
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back