Once upon a time in the west – Determinacy‚ definability and complexity of path games
D. Berwanger‚ E. Grädel and S. Kreutzer
Details
| Book Title |
Proceedings of the 10th International Conference on Logic for Programming and Automated Reasoning |
| Editor |
M. Vardi and A. Voronkov |
| Pages |
226 – 240 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2850 |
| Year |
2003 |
Links
Related pages
|
People |