The Complexity of Decomposing Modal and First-Order Theories
In: 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012); (2012-06-01) S. 325-334
Online
Konferenz
Zugriff:
Titel: |
The Complexity of Decomposing Modal and First-Order Theories
|
---|---|
Autor/in / Beteiligte Person: | Goller, Stefan ; Jung, Jean Christoph ; Lohrey, Markus |
Link: | |
Quelle: | 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012); (2012-06-01) S. 325-334 |
Veröffentlichung: | 2012 |
Medientyp: | Konferenz |
ISBN: | 978-1-4673-2263-8 (print) ; 978-0-7695-4769-5 (print) |
ISSN: | 1043-6871 (print) |
DOI: | 10.1109/LICS.2012.43 |
Sonstiges: |
|