Syntactic foundations for unawareness of theorems

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - TARK '09 ◽

10.1145/1562814.1562835 ◽

2009 ◽

Author(s):

Spyros Galanis

Download Full-text