|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algorithmic Analysis of Programs with Well Quasi-ordered Domains |
Abdulla, Parosh Aziz |
2000 |
160 | 1-2 |
p. 109-127 19 p. |
artikel |
|
| 2 | An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic |
Etessami, Kousha |
2000 |
160 | 1-2 |
p. 88-108 21 p. |
artikel |
|
| 3 | Author Index for Volume 160 |
2000 |
160 | 1-2 |
p. 189- 1 p. |
artikel |
||
| 4 | Counting Modulo Quantifiers on Finite Structures |
Nurmonen, Juha |
2000 |
160 | 1-2 |
p. 62-87 26 p. |
artikel |
|
| 5 | Games and Full Abstraction for FPC |
McCusker, Guy |
2000 |
160 | 1-2 |
p. 1-61 61 p. |
artikel |
|
| 6 | Integration in Real PCF |
Edalat, Abbas |
2000 |
160 | 1-2 |
p. 128-166 39 p. |
artikel |
|
| 7 | Model-Checking of Correctness Conditions for Concurrent Objects |
Alur, Rajeev |
2000 |
160 | 1-2 |
p. 167-188 22 p. |
artikel |
|
| 8 | Papers to Appear in Forthcoming Issues |
2000 |
160 | 1-2 |
p. 190- 1 p. |
artikel |
8 gevonden resultaten