Bild/Logo der Organisation Institut für Theoretische Informatik

Institut für Theoretische Informatik

Organisation: Institut/Seminar

Adressentyp: Besucheradresse.
Appelstraße 9a
30167
Hannover
Forschungs-netzwerk anzeigen
141 - 160 von 215Seitengröße: 20

Publikationen

  1. 2010
  2. Veröffentlicht

    Counting classes and the fine structure between NC1 and L.

    Datta, S., Mahajan, M., Rao, B. V. R., Thomas, M. & Vollmer, H., 2010, in: Electronic colloquium on computational complexity (ECCC). TR10

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. Veröffentlicht

    Extensional Uniformity for Boolean Circuits

    McKenzie, P., Thomas, M. & Vollmer, H., 2010, in: SIAM J. Comput.. 39, 7, S. 3186-3206 21 S., 7.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  4. Veröffentlicht

    On Second-Order Monadic Monoidal and Groupoidal Quantifiers

    Kontinen, J. & Vollmer, H., 2010, in: Log. Methods Comput. Sci.. 6, 3

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  5. Veröffentlicht

    Proof Complexity of Propositional Default Logic

    Beyersdorff, O., Meier, A., Müller, S., Thomas, M. & Vollmer, H., 2010, Theory and Applications of Satisfiability Testing: SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Strichman, O. & Szeider, S. (Hrsg.). S. 30-43 14 S. (Lecture Notes in Computer Science; Band 6175).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  6. Veröffentlicht

    Proof Complexity of Propositional Default Logic

    Beyersdorff, O., Meier, A., Müller, S., Thomas, M. & Vollmer, H., 2010, in: Dagstuhl Seminar Proceedings (DSP). 10061

    Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review

  7. Veröffentlicht

    The Complexity of Problems for Quantified Constraints.

    Bauland, M., Böhler, E., Creignou, N., Reith, S., Schnoor, H. & Vollmer, H., 2010, in: Theory Comput. Syst.. 47, 2, S. 454-490

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  8. Veröffentlicht

    The Complexity of Reasoning for Fragments of Autoepistemic Logic

    Creignou, N., Meier, A., Thomas, M. & Vollmer, H., 2010, (Dagstuhl Seminar Proceedings).

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

  9. Veröffentlicht

    The Complexity of Reasoning for Fragments of Autoepistemic Logic

    Creignou, N., Meier, A., Thomas, M. & Vollmer, H., 2010, (CoRR).

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

  10. Veröffentlicht

    The Complexity of Reasoning for Fragments of Autoepistemic Logic∗

    Creignou, N., Meier, A., Thomas, M. & Vollmer, H., 2010, Dagstuhl Seminar: Circuits, Logic, and Games 2010. Band 10061. (Dagstuhl Seminar Proceedings).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in sonstigem Bericht › Forschung › Peer-Review

  11. 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., 2010, in: IMA Journal of Applied Mathematics. 8, 4, S. 409-421

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  12. Veröffentlicht

    The Complexity of Satisfiability for Sub-Boolean Fragments of ALC

    Meier, A. & Schneider, T., 2010, Proceedings of the 23rd International Workshop on Description Logics (DL 2010).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  13. 2009
  14. Veröffentlicht

    Model Checking CTL is Almost Always Inherently Sequential

    Beyersdorff, O., Meier, A., Thomas, M., Vollmer, H., Mundhenk, M. & Schneider, T., 2009, TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. Lutz, C. & Raskin, J.-F. (Hrsg.). IEEE Computer Society, S. 21-28 8 S.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  15. Veröffentlicht

    The Complexity of Generalized Satisfiability for Linear Temporal Logic

    Bauland, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2009, in: Log. Methods Comput. Sci.. 5, 1, 1.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  16. Veröffentlicht

    The complexity of propositional implication

    Beyersdorff, O., Meier, A., Thomas, M. & Vollmer, H., 2009, in: Information Processing Letters. 109, 18, S. 1071-1077 7 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  17. 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 Fachzeitschrift › Artikel › Forschung › Peer-Review

  18. 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

  19. Veröffentlicht

    The complexity of satisfiability problems: Refining Schaefer's theorem.

    Allender, E., Bauland, M., Immerman, N., Schnoor, H. & Vollmer, H., 2009, in: J. Comput. Syst. Sci.. 75, 4, S. 245-254 10 S., 4.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  20. Veröffentlicht

    The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments

    Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2009, in: Electronic Notes in Theoretical Computer Science (ENTCS). 231, S. 277-292 16 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  21. 2008
  22. Veröffentlicht

    The Complexity of Generalized Satisfiability for Linear Temporal Logic

    Bauland, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 28 Dez. 2008, in: Logical Methods in Computer Science, Volume.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  23. 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

Vorherige 1...4 5 6 7 8 9 10 11 Nächste