|
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 Fully Abstract Denotational Model for Higher-Order Processes |
Hennessy, M. |
1994 |
112 | 1 |
p. 55-95 41 p. |
artikel |
|
| 2 | A Guide for New Referees in Theoretical Computer Science |
Parberry, I. |
1994 |
112 | 1 |
p. 96-116 21 p. |
artikel |
|
| 3 | Bounded Quantification Is Undecidable |
Pierce, B.C. |
1994 |
112 | 1 |
p. 131-165 35 p. |
artikel |
|
| 4 | Decidability and Expressiveness for First-Order Logics of Probability |
Abadi, M. |
1994 |
112 | 1 |
p. 1-36 36 p. |
artikel |
|
| 5 | Exponential Size Lower Bounds for Some Depth 3 Circuits |
Yan, P.Y. |
1994 |
112 | 1 |
p. 117-130 14 p. |
artikel |
|
| 6 | Sorting Shuffled Monotone Sequences |
Levcopoulos, C. |
1994 |
112 | 1 |
p. 37-50 14 p. |
artikel |
|
| 7 | The Bns Lower-Bound for Multiparty Protocols Is Nearly Optimal |
Grolmusz, V. |
1994 |
112 | 1 |
p. 51-54 4 p. |
artikel |
7 gevonden resultaten