|
711 |
Circle planarity of level graphs Bachmaier, Christian, 2004
|
|
|
712 |
Counting principles of algebraic combinatorics with an emphasis on topological enumeration Hofmeister, Michael, 2004
|
|
|
713 |
From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, 2004
|
|
|
714 |
Interaktives orthogonales Zeichnen von planaren Graphen Bachl, Walter, [2004]
|
|
|
715 |
Proof planning with multiple strategies Meier, Andreas, 2004
|
|
|
716 |
Weighted branching automata Meinecke, Ingmar, 2004
|
|
|
717 |
Weighted branching automata Meinecke, Ingmar, 2004
|
|
|
718 |
Zwei Gedanken zur höherstufigen Unifikation Kübler, Martin, 2004
|
|
|
719 |
Beste einseitige L-Approximation mit Quasi-Blending-Funktionen Klinkhammer, John, 2002
|
|
|
720 |
Classifying discrete temporal properties Wilke, Thomas, 1998
|
|