|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Decomposition Theorem for Domains |
Haack, Christian |
1996 |
124 | 1 |
p. 62-67 6 p. |
artikel |
|
| 2 | A Typed Pattern Calculus |
Kesner, Delia |
1996 |
124 | 1 |
p. 32-61 30 p. |
artikel |
|
| 3 | Computability on dI-Domains |
Gruchalski, Andreas |
1996 |
124 | 1 |
p. 7-19 13 p. |
artikel |
|
| 4 | On the Power of Higher-Order Algebraic Specification Methods |
Kosiuczenko, P. |
1996 |
124 | 1 |
p. 85-101 17 p. |
artikel |
|
| 5 | PP Is Closed under Truth-Table Reductions |
Fortnow, Lance |
1996 |
124 | 1 |
p. 1-6 6 p. |
artikel |
|
| 6 | Time/Contention Trade-Offs for Multiprocessor Synchronization |
Anderson, James H. |
1996 |
124 | 1 |
p. 68-84 17 p. |
artikel |
|
| 7 | Unreliable Channels Are Easier to Verify Than Perfect Channels |
Cécé, Gérard |
1996 |
124 | 1 |
p. 20-31 12 p. |
artikel |
7 gevonden resultaten