|
691 |
On the equi-consistency of the failure of the GAP-1 transfer property and an inaccessible cardinal Räsch, Thoralf, 2005
|
|
|
692 |
Persistent arrays, path problems, and context-free languages Glier, Oliver, 2005
|
|
|
693 |
Persistent arrays, path problems, and context-free languages Glier, Oliver, 2005
|
|
|
694 |
Probabilistic analysis of discrete optimization problems Beier, Rene, [2005]
|
|
|
695 |
Realization and counting problems for planar structures Ribó Mor, Ares, 2005
|
|
|
696 |
Realization and counting problems for planar structures Ribó Mor, Ares, 2005
|
|
|
697 |
Reguläre Häufigkeitsberechnungen Austinat, Holger, 2005
|
|
|
698 |
Saturation based decision procedures for extensions of the guarded fragment Kazakov, Yevgeny, 2005
|
|
|
699 |
The additivity of the two-dimensional Miller ideal Thiele, Sonja, 2005
|
|
|
700 |
The additivity of the two-dimensional Miller ideal Thiele, Sonja, 2005
|
|