|
271 |
From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, [2005]
|
|
|
272 |
Higher gap morasses Cárdenas, Franqui, 2005
|
|
|
273 |
Komplexität von Gitterproblemen Seifert, Jean-Pierre, [2005]
|
|
|
274 |
Olique graphs Schreyer, Jens, 2005
|
|
|
275 |
On games and logics over dynamically changing structures Rohde, Philipp, 2005
|
|
|
276 |
On numerical invariants in algebraic complexity theory Lotz, Martin, 2005
|
|
|
277 |
Persistent arrays, path problems, and context-free languages Glier, Oliver, 2005
|
|
|
278 |
Probabilistic analysis of discrete optimization problems Beier, Rene, [2005]
|
|
|
279 |
Realization and counting problems for planar structures Ribó Mor, Ares, 2005
|
|
|
280 |
Reguläre Häufigkeitsberechnungen Austinat, Holger, 2005
|
|