|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Action and Knowledge in Alternating-Time Temporal Logic |
Ågotnes, Thomas |
|
149 | 2 |
p. 375-407 |
artikel |
|
| 2 | Action and Knowledge in Alternating-Time Temporal Logic |
Ågotnes, Thomas |
2006 |
149 | 2 |
p. 375-407 |
artikel |
|
| 3 | Foreword |
Otterloo, Sieuwert Van |
2006 |
149 | 2 |
p. 255-256 |
artikel |
|
| 4 | On The Computational Consequences of Independence in Propositional Logic |
Sevenster, Merlijn |
|
149 | 2 |
p. 257-283 |
artikel |
|
| 5 | On The Computational Consequences of Independence in Propositional Logic |
Sevenster, Merlijn |
2006 |
149 | 2 |
p. 257-283 |
artikel |
|
| 6 | Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic |
Teepe, Wouter |
|
149 | 2 |
p. 409-443 |
artikel |
|
| 7 | Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic |
Teepe, Wouter |
2006 |
149 | 2 |
p. 409-443 |
artikel |
|
| 8 | The Logic of Knowledge Based Obligation |
Pacuit, Eric |
|
149 | 2 |
p. 311-341 |
artikel |
|
| 9 | The Logic of Knowledge Based Obligation |
Pacuit, Eric |
2006 |
149 | 2 |
p. 311-341 |
artikel |
|
| 10 | The Logic of Pit |
Van Ditmarsch, Hans P. |
|
149 | 2 |
p. 343-374 |
artikel |
|
| 11 | The Logic of Pit |
Ditmarsch, Hans P. Van |
2006 |
149 | 2 |
p. 343-374 |
artikel |
|
| 12 | Thompson Transformations for If-Logic |
Dechesne, Francien |
|
149 | 2 |
p. 285-309 |
artikel |
|
| 13 | Thompson Transformations for If-Logic |
Dechesne, Francien |
2006 |
149 | 2 |
p. 285-309 |
artikel |
13 gevonden resultaten