|
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 Guarded Fragment for Abstract State Machines |
Nowack, Antje |
2005 |
14 | 3 |
p. 345-368 |
artikel |
|
| 2 | Complexity of the Two-Variable Fragment with Counting Quantifiers |
Pratt-Hartmann, Ian |
2005 |
14 | 3 |
p. 369-395 |
artikel |
|
| 3 | Deciding Regular Grammar Logics with Converse Through First-Order Logic |
Demri, Stéphane |
2005 |
14 | 3 |
p. 289-329 |
artikel |
|
| 4 | Editorial |
Alechina, Natasha |
2005 |
14 | 3 |
p. 261-262 |
artikel |
|
| 5 | Guarded Fragments with Constants |
Cate, Balder ten |
2005 |
14 | 3 |
p. 281-288 |
artikel |
|
| 6 | Guards, Bounds, and Generalized Semantics |
Benthem, Johan van |
2005 |
14 | 3 |
p. 263-279 |
artikel |
|
| 7 | The Semijoin Algebra and the Guarded Fragment |
Leinders, Dirk |
2005 |
14 | 3 |
p. 331-343 |
artikel |
7 gevonden resultaten