|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A characterization of finitary bisimulation |
Aceto, Luca |
1997 |
64 | 3 |
p. 127-134 8 p. |
artikel |
|
| 2 | Computing a poset from its realizer |
Nardelli, Enrico |
1997 |
64 | 3 |
p. 149-154 6 p. |
artikel |
|
| 3 | Exact and approximate computational geometry solutions of an unrestricted point set stereo matching problem |
Dehne, Frank |
1997 |
64 | 3 |
p. 107-114 8 p. |
artikel |
|
| 4 | Formal justification of underspecification for S5 |
Aaron, Eric |
1997 |
64 | 3 |
p. 115-121 7 p. |
artikel |
|
| 5 | Noncommutative minimization algorithms |
Flouret, M. |
1997 |
64 | 3 |
p. 123-126 4 p. |
artikel |
|
| 6 | On improving dependency implication algorithms |
Mok, Wai Yin |
1997 |
64 | 3 |
p. 135-141 7 p. |
artikel |
|
| 7 | Revisiting the COUNTER algorithms for list update |
Albers, Susanne |
1997 |
64 | 3 |
p. 155-160 6 p. |
artikel |
|
| 8 | The computational complexity of the reliability problem on distributed systems |
Lin, Min-Sheng |
1997 |
64 | 3 |
p. 143-147 5 p. |
artikel |
8 gevonden resultaten