Search
Now showing items 1-10 of 14
On Toda’s Theorem in structural communication complexity
Wunderlich, Henning (2009)
Arbeitspapier
Compiler-based implementation of syntax-directed functional programming
Gladitz, Katia; Faßbender, Heinz; Vogler, Heiko (2009)
Arbeitspapier
On the power of generalized MOD-classes
Köbler, Johannes; Toda, Seinosuke (2009)
Arbeitspapier
Synthesized and inherited functions - a new computational model for syntax-directed semantics
Vogler, Heiko; Kühnemann, Armin (2009)
Arbeitspapier
Graph isomorphism is low for PP
Köbler, Johannes; Schöning, Uwe; Toran, Jacobo (2009)
Arbeitspapier
Complexity-restricted advice functions
Köbler, Johannes; Thierauf, Thomas (2009)
Arbeitspapier
Recent highlights in structural complexity theory
Schöning, Uwe (2009)
Arbeitspapier
A universal unification algorithm based on unification-driven leftmost outermost narrowing
Vogler, Heiko; Faßbender, Heinz (2009)
Arbeitspapier
On random reductions from sparse sets to tally sets
Schöning, Uwe (2009)
Arbeitspapier
Correct configuration of process variants in Provop
Reichert, Manfred; Hallerbach, Alena; Bauer, Thomas (2009)
Arbeitspapier