Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference10 articles.
1. Bounded Arithmetic;Buss,1986
2. Bounded arithmetic for NC, ALogTIME, L and NL;Clote;Ann. Pure Appl. Log.,1992
3. Introduction to computability logic;Japaridze;Ann. Pure Appl. Log.,2003
4. The logic of interactive Turing reduction;Japaridze;J. Symb. Log.,2007
5. Intuitionistic computability logic;Japaridze;Acta Cybern.,2007
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献