Profilinformationen
Forschungs-netzwerk anzeigen

Publikationen

  1. 2009
  2. 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-918

    Publikation: Beitrag in FachzeitschriftArtikelForschungPeer-Review

  3. 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/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

  4. 2008
  5. 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/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

  6. 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/KonferenzbandAufsatz in KonferenzbandForschungPeer-Review

Vorherige 1 2 3 4 5 Nächste