|
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 | Computational Limits on Team Identification of Languages |
Jain, Sanjay |
1996 |
130 | 1 |
p. 19-60 42 p. |
artikel |
|
| 2 | Computing the Rabin Index of a Regular Language of Infinite Words |
Wilke, Thomas |
1996 |
130 | 1 |
p. 61-70 10 p. |
artikel |
|
| 3 | Gap-Definability as a Closure Property |
Fenner, Stephen |
1996 |
130 | 1 |
p. 1-17 17 p. |
artikel |
|
| 4 | Inductive Counting for Width-Restricted Branching Programs |
Damm, Carsten |
1996 |
130 | 1 |
p. 91-99 9 p. |
artikel |
|
| 5 | Undecidable Verification Problems for Programs with Unreliable Channels |
Abdulla, Parosh Aziz |
1996 |
130 | 1 |
p. 71-90 20 p. |
artikel |
5 gevonden resultaten