On Inconsistency and Unsatisfiability

Journal article
(Original article)


Publication Details

Author(s): Schröder L, Mossakowski T
Journal: International Journal of Software and Informatics
Publication year: 2015
Volume: 9
Journal issue: 2
Pages range: 141--152
ISSN: 1673-7288
Language: English


FAU Authors / FAU Editors

Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


How to cite

APA:
Schröder, L., & Mossakowski, T. (2015). On Inconsistency and Unsatisfiability. International Journal of Software and Informatics, 9(2), 141--152.

MLA:
Schröder, Lutz, and Till Mossakowski. "On Inconsistency and Unsatisfiability." International Journal of Software and Informatics 9.2 (2015): 141--152.

BibTeX: 

Last updated on 2018-19-04 at 03:46