|
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 | Iteration Theories of Synchronization Trees |
Bloom, S.L. |
1993 |
102 | 1 |
p. 1-55 55 p. |
artikel |
|
| 2 | Learning with the Knowledge of an Upper Bound on Program Size |
Jain, S. |
1993 |
102 | 1 |
p. 118-166 49 p. |
artikel |
|
| 3 | Real-Time Semantics for Shared-Variable Concurrency |
Shade, E. |
1993 |
102 | 1 |
p. 56-82 27 p. |
artikel |
|
| 4 | The Undecidability of the Semi-unification Problem |
Kfoury, A.J. |
1993 |
102 | 1 |
p. 83-101 19 p. |
artikel |
|
| 5 | Using Inductive Counting to Simulate Nondeterministic Computation |
Buntrock, G. |
1993 |
102 | 1 |
p. 102-117 16 p. |
artikel |
5 gevonden resultaten