Publications
- 2000
- Published
The many faces of a translation
McKenzie, P., Schwentick, T., Thérien, D. & Vollmer, H., 2000Research output: Book/Report › Monograph › Research › peer review
- Published
Uniform characterizations of complexity classes of functions
Kosub, S., Schmitz, H., Vollmer, H. & Cai, J., 2000, In: International Journal of Foundations of Computer Science.Research output: Contribution to journal › Article › Research › peer review
- 1999
What does the complexity theory do for the practice?
Vollmer, H., Oct 1999, In: Informatik-Spektrum. 22, 5, p. 317-327 11 p.Research output: Contribution to journal › Article › Research › peer review
- Published
A generalized quantifier concept in computational complexity theory
Vollmer, H., 1999Research output: Book/Report › Monograph › Research › peer review
- Published
Finite automata with generalized acceptance criteria
Peichl, T. & Vollmer, H., 1999Research output: Book/Report › Monograph › Research › peer review
- Published
The descriptive complexity approach to LOGCFL
Lautemann, C., McKenzie, P., Schwentick, T. & Vollmer, H., 1999Research output: Book/Report › Monograph › Research › peer review
- 1998
- Published
A Generalized Quantifier Concept in Computational Complexity Theory
Vollmer, H., 28 Sept 1998, f. (Annals of Pure and Applied Logic).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research
- Published
The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae
Reith, S. & Vollmer, H., 28 Sept 1998.Research output: Working paper/Preprint › Technical report › Research
- Published
The descriptive complexity approach to LOGCFL
Lautemann, C., McKenzie, P., Schwentick, T. & Vollmer, H., 28 Sept 1998.Research output: Working paper/Preprint › Technical report › Research
- Published
Nondeterministic NC1 Computation
Caussinus, H., McKenzie, P., Thérien, D. & Vollmer, H., 1998, In: Journal of Computer and System Sciences.Research output: Contribution to journal › Article › Research › peer review
- Published
Probabilistic type-2 operators and "almost"-classes
Book, R. V., Vollmer, H. & Wagner, K. W., 1998, In: Computational complexity.Research output: Contribution to journal › Article › Research › peer review
- Published
Relating polynomial time to constant depth
Vollmer, H., 1998, In: Theoretical computer science.Research output: Contribution to journal › Article › Research › peer review
- Published
The chain method to separate counting classes
Cronauer, K., Hertrampf, U., Vollmer, H. & Wagner, K. W., 1998, In: Theory of computing systems.Research output: Contribution to journal › Article › Research › peer review
- Published
Uniformly defining complexity classes of functions
Kosub, S., Schmitz, H. & Vollmer, H., 1998Research output: Book/Report › Monograph › Research › peer review
- 1997
- Published
Gap-languages and log-time complexity classes
Regan, K. W. & Vollmer, H., 1997, In: Theoretical computer science.Research output: Contribution to journal › Article › Research › peer review
- Published
On operators of higher types
Vollmer, H. & Wagner, K. W., 1997, Proceedings of the Annual IEEE Conference on Computational Complexity.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- 1996
- Published
Complements of multivalued functions
Fenner, S., Green, F., Homer, S., Selman, A. L., Thierauf, T. & Vollmer, H., 1996, Proceedings of the Annual IEEE Conference on Computational Complexity.Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
- Published
On balanced versus unbalanced computation trees
Hertrampf, U., Vollmer, H. & Wagner, K. W., 1996, In: Theory of computing systems.Research output: Contribution to journal › Article › Research › peer review
- Published
On type-2 probabilistic quantifiers
Book, R. V., Vollmer, H. & Wagner, K. W., 1996Research output: Book/Report › Monograph › Research › peer review
- Published
Recursion theoretic characterizations of complexity classes of counting functions
Vollmer, H. & Wagner, K. W., 1996, In: Theoretical computer science.Research output: Contribution to journal › Article › Research › peer review