Loading [MathJax]/extensions/tex2jax.js
Bild/Logo der Organisation Institut für Theoretische Informatik

Institut für Theoretische Informatik

Organisation: Institut/Seminar

Adressentyp: Besucheradress
Appelstraße 9a
30167
Hannover
1 - 20 von 215Seitengröße: 20
sortieren: Titel
Reihenfolge:

Publikationen

  1. Veröffentlicht

    10061 Abstracts Collection - Circuits, Logic, and Games.

    Rossman, B., Schwentick, T., Thérien, D. & Vollmer, H., 2010, Circuits, Logic, and Games.

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

  2. Veröffentlicht

    10061 Executive Summary - Circuits, Logic, and Games.

    Rossman, B., Schwentick, T., Thérien, D. & Vollmer, H., 2010, Circuits, Logic, and Games.

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

  3. Veröffentlicht

    33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France

    Ollinger, N. & Vollmer, H., 2016, in: Leibniz International Proceedings in Informatics, LIPIcs. 47

    Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung

  4. Veröffentlicht

    34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany

    Vollmer, H. & Vallée, B., 2017, in: Leibniz International Proceedings in Informatics, LIPIcs. 66

    Publikation: Beitrag in Fachzeitschrift › Editorial in Fachzeitschrift › Forschung

  5. Veröffentlicht

    A complexity theory for hard enumeration problems

    Creignou, N., Kröll, M., Pichler, R., Skritek, S. & Vollmer, H., 15 Sept. 2019, in: Discrete applied mathematics. 268, S. 191-209 19 S.

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

  6. Veröffentlicht

    A Fragment of Dependence Logic Capturing Polynomial Time

    Ebbing, J., Kontinen, J., Müller, J. & Vollmer, H., 2014, in: Logical Methods in Computer Science, Volume. 10, 3

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

  7. Veröffentlicht

    A generalization of the Büchi-Elgot-Trakhtenbrot theorem

    Galota, M. & Vollmer, H., 2001, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).

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

  8. Veröffentlicht

    A generalized quantifier concept in computational complexity theory

    Vollmer, H., 1999

    Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Monografie › Forschung › Peer-Review

  9. Veröffentlicht

    A Generalized Quantifier Concept in Computational Complexity Theory

    Vollmer, H., 28 Sept. 1998, f. (Annals of Pure and Applied Logic).

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

  10. Veröffentlicht

    Algorithmic local monomialization of a binomial: a comparison of different approaches

    Gaube, S. A. & Schober, B., 9 Dez. 2022, in: International Journal of Algebra and Computation. 33, 1, S. 161-195

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

  11. Veröffentlicht

    Algorithms Unplugged

    Vöcking, B., Alt, H., Dietzfelbinger, M., Reischuk, R., Scheideler, C., Vollmer, H. & Wagner, D., 2011, (Fachbuch)

    Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Lehrbuch › Transfer

  12. Veröffentlicht

    A Logical Characterization of Constant-Depth Circuits over the Reals

    Barlag, T. & Vollmer, H., 2021, Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Silva, A., Wassermann, R. & de Queiroz, R. (Hrsg.). Band abs/2005.04916. S. 16-30 15 S. (Lecture Notes in Computer Science (LNCS); Band 13038).

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

  13. Veröffentlicht

    A model-theoretic characterization of constant-depth arithmetic circuits

    Haak, A. & Vollmer, H., Sept. 2019, in: Annals of Pure and Applied Logic. 170, 9, S. 1008-1029 22 S.

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

  14. Veröffentlicht

    A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits

    Haak, A. & Vollmer, H., 6 Aug. 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (Hrsg.). Berlin: Springer Verlag, S. 234-248 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9803 LNCS).

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

  15. Veröffentlicht

    An algebraic approach to the complexity of generalized conjunctive queries

    Bauland, M., Chapdelaine, P., Creignou, N., Hermann, M. & Vollmer, H., 2005, in: Lecture Notes in Computer Science. 3542, S. 30-45 16 S.

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

  16. Veröffentlicht

    A parameterized view on the complexity of dependence and independence logic

    Kontinen, J., Meier, A. & Mahmood, Y., Dez. 2022, in: J. Log. Comput.. 32, 8, S. 1624-1644 21 S.

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

  17. Veröffentlicht

    A Parameterized View on the Complexity of Dependence Logic.

    Kontinen, J., Meier, A. & Mahmood, Y., 2022, Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings.. Artemov, S. & Nerode, A. (Hrsg.). Cham, S. 125-142 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13137 LNCS).

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

  18. Veröffentlicht

    A polynomial-time approximation scheme for base station positioning in UMTS networks

    Galota, M., Glaßer, C., Reith, S. & Vollmer, H., 2001, Proceedings of the 5th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2001), Rome, Italy, July 21, 2001. Association for Computing Machinery (ACM), S. 52-59 8 S.

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

  19. Veröffentlicht

    Approximation and dependence via multiteam semantics

    Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., Aug. 2018, in: Annals of Mathematics and Artificial Intelligence. 83, 3-4, S. 297-320 24 S.

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

  20. Veröffentlicht

    Approximation and Dependence via Multiteam Semantics

    Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 4 März 2016, Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Gyssens, M. & Simari, G. (Hrsg.). Cham, S. 271-291 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9616).

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

Vorherige 1 2 3 4 5 6 7 8 ...11 Nächste