Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas

✍ Scribed by Jarmo Kontinen

• Book ID: 120780375
• Publisher: Springer Netherlands
• Year: 2013
• Tongue: English
• Weight: 335 KB
• Volume: 101
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/s11225-013-9481-8