|
351 |
Blattsprachen und Blattfunktionen Galota, Matthias, 2006
|
|
|
352 |
Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
|
|
|
353 |
Distance desert automata and star height substitutions Kirsten, Daniel, 2006
|
|
|
354 |
Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
|
|
|
355 |
Finite-state genericity Busse, Edgar, 2006
|
|
|
356 |
Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
|
|
|
357 |
Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006
|
|
|
358 |
Knotenfärbungen mit Abstandsbedingungen Kohl, Anja, 2006
|
|
|
359 |
Kreuzungsminimales Einfügen einer Kante in einen aufwärtsplanaren sT-Graphen Wong, Hoi-Ming. - Dortmund : Univ., Algorithm Engineering, 2006
|
|
|
360 |
L-identification for sources Heup, Christian, 2006
|
|