Search
Now showing items 1-10 of 111
On random reductions from sparse sets to tally sets
Schöning, Uwe (2009)
Arbeitspapier
A universal unification algorithm based on unification-driven leftmost outermost narrowing
Vogler, Heiko; Faßbender, Heinz (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
Synthesized and inherited functions - a new computational model for syntax-directed semantics
Vogler, Heiko; Kühnemann, Armin (2009)
Arbeitspapier
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
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme
Ernst, Dietmar et al. (2010)
Arbeitspapier
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Gehring, Wolfgang (2005)
Arbeitspapier