Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference18 articles.
1. Games and full completeness for multiplicative linear logic;Abramsky;Journal of Symbolic Logic,1994
2. Degrees of indeterminacy of games;Blass;Fundamenta Mathematicae,1972
3. A game semantics for linear logic;Blass;Annals of Pure and Applied Logic,1992
4. The logic of tasks;Japaridze;Annals of Pure and Applied Logic,2002
5. Introduction to computability logic;Japaridze;Annals of Pure and Applied Logic,2003
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献