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