From Logic to Games

Lecture Notes in Computer Science - FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/11590156_5 ◽

2005 ◽

pp. 79-91

Author(s):

Igor Walukiewicz

Download Full-text