|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Decomposition Theorem for Domains |
Haack, Christian |
1996 |
124 | 1 |
p. 62-67 6 p. |
article |
|
| 2 | A Typed Pattern Calculus |
Kesner, Delia |
1996 |
124 | 1 |
p. 32-61 30 p. |
article |
|
| 3 | Computability on dI-Domains |
Gruchalski, Andreas |
1996 |
124 | 1 |
p. 7-19 13 p. |
article |
|
| 4 | On the Power of Higher-Order Algebraic Specification Methods |
Kosiuczenko, P. |
1996 |
124 | 1 |
p. 85-101 17 p. |
article |
|
| 5 | PP Is Closed under Truth-Table Reductions |
Fortnow, Lance |
1996 |
124 | 1 |
p. 1-6 6 p. |
article |
|
| 6 | Time/Contention Trade-Offs for Multiprocessor Synchronization |
Anderson, James H. |
1996 |
124 | 1 |
p. 68-84 17 p. |
article |
|
| 7 | Unreliable Channels Are Easier to Verify Than Perfect Channels |
Cécé, Gérard |
1996 |
124 | 1 |
p. 20-31 12 p. |
article |
7 results found