Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning - KR 2016
Book title Buchtitel
Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning - KR 2016
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | de Haan, Ronald ; Szeider, Stefan | Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics | Konferenzbeitrag Inproceedings | 2016 |