|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Symbolic Semantics for theπ-Calculus |
Boreale, Michele |
1996 |
126 | 1 |
p. 34-52 19 p. |
artikel |
|
| 2 | Contention-Free Complexity of Shared Memory Algorithms |
Alur, Rajeev |
1996 |
126 | 1 |
p. 62-73 12 p. |
artikel |
|
| 3 | Efficient Inference of Object Types |
Palsberg, Jens |
1996 |
126 | 1 |
p. 103-104 2 p. |
artikel |
|
| 4 | Efficient Perfectly Secure Message Transmission in Synchronous Networks |
Sayeed, Hasan Md. |
1996 |
126 | 1 |
p. 53-61 9 p. |
artikel |
|
| 5 | Ntyft/ntyxt Rules Reduce to Ntree Rules |
Fokkink, Wan |
1996 |
126 | 1 |
p. 1-10 10 p. |
artikel |
|
| 6 | On a Question of H. Friedman |
Plotkin, Gordon |
1996 |
126 | 1 |
p. 74-77 4 p. |
artikel |
|
| 7 | Positive Subtyping |
Hofmann, Martin |
1996 |
126 | 1 |
p. 11-33 23 p. |
artikel |
|
| 8 | Simulating Fair Dice with Biased Coins |
Itoh, Toshiya |
1996 |
126 | 1 |
p. 78-82 5 p. |
artikel |
|
| 9 | The Discriminating Power of Multiplicities in theλ-Calculus |
Boudol, Gérard |
1996 |
126 | 1 |
p. 83-102 20 p. |
artikel |
9 gevonden resultaten