|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
13 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces |
Thiagarajan, P.S. |
2002 |
179 | 2 |
p. 230-249 20 p. |
article |
|
| 2 | A Relational Account of Call-by-Value Sequentiality |
Riecke, Jon G. |
2002 |
179 | 2 |
p. 296-331 36 p. |
article |
|
| 3 | Author Index for Volume 179 |
2002 |
179 | 2 |
p. 385- 1 p. |
article |
||
| 4 | Bisimulation for Labelled Markov Processes |
Desharnais, Josée |
2002 |
179 | 2 |
p. 163-193 31 p. |
article |
|
| 5 | Boolean Expression Diagrams |
Andersen, Henrik Reif |
2002 |
179 | 2 |
p. 194-212 19 p. |
article |
|
| 6 | Completeness of Continuation Models for λμ-Calculus |
Hofmann, Martin |
2002 |
179 | 2 |
p. 332-355 24 p. |
article |
|
| 7 | First-Order Logic with Two Variables and Unary Temporal Logic |
Etessami, Kousha |
2002 |
179 | 2 |
p. 279-295 17 p. |
article |
|
| 8 | GUEST EDITORIAL |
Winskel, Glynn |
2002 |
179 | 2 |
p. 151- 1 p. |
article |
|
| 9 | Large Finite Structures with Few L k -Types |
Grohe, Martin |
2002 |
179 | 2 |
p. 250-278 29 p. |
article |
|
| 10 | Mobile Objects as Mobile Processes |
Merro, Massimo |
2002 |
179 | 2 |
p. 384- 1 p. |
article |
|
| 11 | On the Complexity of Reasoning in Kleene Algebra |
Kozen, Dexter |
2002 |
179 | 2 |
p. 152-162 11 p. |
article |
|
| 12 | Set Constraints with Intersection |
Charatonik, Witold |
2002 |
179 | 2 |
p. 213-229 17 p. |
article |
|
| 13 | The Monadic Quantifier Alternation Hierarchy over Grids and Graphs |
Matz, Oliver |
2002 |
179 | 2 |
p. 356-383 28 p. |
article |
13 results found