Search

Now showing items 1-10 of 61

A pumping lemma for output languages of attributed tree transducers

Arbeitspapier

Kühnemann, Armin; Vogler, Heiko

N/A

Rechnerunterstützung für die konzeptuelle Modellierung

Arbeitspapier

Gaßner, Klaus

N/A

Structural average case complexity

Arbeitspapier

Schuler, Rainer; Yamakami, Tomoyuki

N/A

Architecture independent massive parallelization of Divide-and-Conquer algorithms

Arbeitspapier

Achatz, Klaus; Schulte, Wolfram

N/A

New collapse consequences of NP having small circuits

Arbeitspapier

Köbler, Johannes; Watanabe, Osamu

N/A

Towards average-case complexity analysis of NP optimization problems

Arbeitspapier

Schuler, Rainer; Watanabe, Osamu

N/A

On the correlation of symmetric functions

Arbeitspapier

Cai, Jin-Yi; Green, Frederic; Thierauf, Thomas

N/A

Complexity of Presburger arithmetic with fixed quantifier dimension

Arbeitspapier

Schöning, Uwe

N/A

Prinzipien der Replikationskontrolle in verteilten Systemen

Arbeitspapier

Beuter, Thomas; Dadam, Peter

N/A

Towards customizable, flexible storage structures for complex objects

Arbeitspapier

Keßler, Ullrich; Dadam, Peter

N/A

1
2
3
4
. . .
7