Algorithmic Game Semantics: A Tutorial Introduction
S. Abramsky
Details
| Book Title |
Proceedings of the NATO Advanced Study Institute‚ Marktober− dorf |
| Chapter |
Proof and System Reliability |
| Editor |
H. Schichtenberg and R. Steinbrüggen |
| Pages |
21−47 |
| Publisher |
Kluwer Academic Publishers |
| Year |
2001 |
Links
Related pages
|
People |