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 |