( en | de | ru )

 

Disambiguierung von "Vollmer, Heribert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Type-2 Probabilistic Quantifiers.

, , und . ICALP, Volume 1099 von Lecture Notes in Computer Science, Seite 369-380. Springer, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Heribert Vollmer

Heribert Vollmer

Siegfried Vollmer

Gregor Vollmer

Norbert Vollmer

 

Weitere Publikationen von Autoren mit dem selben Namen

Finite Automata with Generalized Acceptance Criteria., und . Discret. Math. Theor. Comput. Sci., 4 (2): 179-192 (2001)Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics., , , und . ACM Trans. Comput. Log., 21 (1): 7:1-7:18 (2020)On the Autoreducibility of Random Sequences., und . Technical Report, 239. Department of Computer Science, (Oktober 1999)Arithmetic Circuits and Polynomial Replacement Systems., , und . Technical Report, 242. Department of Computer Science, (November 1999)Recursion Theoretic Characterizations of Complexity Classes of Counting Functions., und . Technical Report, 91. Department of Computer Science, (November 1994)A Van Benthem Theorem for Modal Team Semantics, , , und . 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, Seite 277--291. (2015)Measure One Results in Computational Complexity Theory., und . Advances in Algorithms, Languages, and Complexity, Seite 285-312. Kluwer, (1997)Complexity Results for Modal Dependence Logic, und . CoRR, (2011)Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, und . 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Volume 66 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 0:i--0:xvi. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2017)Paradigms for Parameterized Enumeration, , , , und . Theory Comput. Syst., 60 (4): 737--758 (2017)