Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract).

C.-H. Luke Ong

Browse the full CSL paper archive.