81 - 84 von 84Seitengröße: 20
Publikationen
- 2009
- Veröffentlicht
The Complexity of Satisfiability for Fragments of CTL and CTL*
Meier, A., Thomas, M., Vollmer, H. & Mundhenk, M., 2009, in: Int. J. Found. Comput. Sci.. 20, 5, S. 901-918Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I
Meier, A., Mundhenk, M., Schneider, T., Thomas, M., Weber, V. & Weiss, F., 2009, Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings. Královic, R. & Niwinski, D. (Hrsg.). Band 5734. S. 587-599 13 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- 2008
- Veröffentlicht
The Complexity of Reasoning for Fragments of Default Logic
Beyersdorff, O., Meier, A., Thomas, M. & Vollmer, H., 28 Aug. 2008, Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Kullmann, O. (Hrsg.). Band 5584. S. 51-64 14 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
The Complexity of Satisfiability for Fragments of CTL and CTL*
Meier, A., Mundhenk, M., Thomas, M. & Vollmer, H., 2008, Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP 2008). Band 223. S. 201-213 13 S. (Electron. Notes Theor. Comput. Sci.).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review