|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Bi-catenation and shuffle product of languages |
Shyr, H.J. |
1998 |
35 | 8 |
p. 689-707 |
artikel |
|
| 2 | Converting untyped formulas to typed ones |
Van den Bussche, Jan |
1998 |
35 | 8 |
p. 637-643 |
artikel |
|
| 3 | d-Words and d-languages |
Fan, Chen-Ming |
1998 |
35 | 8 |
p. 709-727 |
artikel |
|
| 4 | On a relation between uniform coding and problems of the form DTIMEF($\cal F$) =? DSPACEF($\cal F)$ |
Caporaso, Salvatore |
1998 |
35 | 8 |
p. 665-672 |
artikel |
|
| 5 | Polytime model checking for timed probabilistic computation tree logic |
Beauquier, Danièle |
1998 |
35 | 8 |
p. 645-664 |
artikel |
|
| 6 | Priority conflict-free Petri nets |
Yen, Hsu-Chun |
1998 |
35 | 8 |
p. 673-688 |
artikel |
6 gevonden resultaten