|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Communication in concurrent dynamic logic |
Peleg, David |
1987 |
35 | 1 |
p. 23-58 36 p. |
artikel |
|
| 2 | Complementing deterministic Büchi automata in polynomial time |
Kurshan, R.P. |
1987 |
35 | 1 |
p. 59-71 13 p. |
artikel |
|
| 3 | Design of relational database schemes by deleting attributes in the canonical decomposition |
Biskup, Joachim |
1987 |
35 | 1 |
p. 1-22 22 p. |
artikel |
|
| 4 | Edge-connectivity augmentation problems |
Watanabe, Toshimasa |
1987 |
35 | 1 |
p. 96-144 49 p. |
artikel |
|
| 5 | Union and actualization of module specifications: Some compatibility results |
Parisi-Presicce, Francesco |
1987 |
35 | 1 |
p. 72-95 24 p. |
artikel |
5 gevonden resultaten