-
1
Spaces of valuations
Veröffentlicht 1995“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
2
Formula layout
Veröffentlicht 1995“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
3
Heuristic motion planning with many degrees of freedom
Veröffentlicht 1995“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
4
Transformations of evolving algebras
Veröffentlicht 1995“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
5
Randomized search trees
Veröffentlicht 1995“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
6
New lower bounds for Hopcroft's problem
Veröffentlicht 1994“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
7
Principal types for object-oriented languages
Veröffentlicht 1993“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
8
Generation of distributed supervisors for parallel compilers
Veröffentlicht 1993“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
9
A verification of extensible record types
Veröffentlicht 1992“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
10
Handblockschrifterkennung mit neuronalen Netzwerken
Veröffentlicht 1992“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
11
First order data types and first order logic
Veröffentlicht 1991“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
12
Type inference for O'SMALL
Veröffentlicht 1991“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
13
Can a maximum flow be computed in o(nm) time?
Veröffentlicht 1990“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
14
On determining vertex connectivity
Veröffentlicht 1990“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
15
Approximate algorithms for approximate congruence
Veröffentlicht 1990“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
16
Using persistent data structures for adding range restrictions to searching problems
Veröffentlicht 1990“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
17
A lower bound for the worst case of Bottom-Up-Heapsort
Veröffentlicht 1990“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
18
LEDA 1.0 user manual
Veröffentlicht 1989“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
19
Simulating automata for weighted tree reductions
Veröffentlicht 1987“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch -
20
A lower bound for the complexity of the union-split-find problem
Veröffentlicht 1986“… Universität <Saarbrücken> / Fachbereich Informatik: [Technischer Bericht / A] …”
Buch