Computer Science ›› 2015, Vol. 42 ›› Issue (7): 44-47.doi: 10.11896/j.issn.1002-137X.2015.07.010
Previous Articles Next Articles
LI Xing-xiang LUAN Jun-feng
[1] Japaridze G.Introduction to computability logic[J].Annals ofPure and Applied Logic,2003,123:1-99 [2] Japaridze G.Propositional computability logic I[J].ACM Tran-sactions on Computational Logic,2006,7(2):302-330 [3] Japaridze G.Propositional computability logic II[J].ACMTransactions on Computational Logic,2006,7(2):331-362 [4] Japaridze G.Computability logic:a formal theory of interaction.Interactive Computation:TheNew Paradigm[C]∥Goldin D,Smolka S,Wegner P,eds.Springer Verlag,Berlin,2006:183-223 [5] Japaridze G.From truth to computability I[J].Theoretical Computer Science,2006,357:100-135 [6] Japaridze G.From truth to computability II[J].TheoreticalComputer Science,2007,379:20-52 [7] Japaridze G.In the beginning was game semantics.Games:Unifying Logic,Language and Philosophy[C]∥Majer O,Pietarinen A-V,Tulenheimo T,eds.Springer,2009:249-350 [8] Japaridze G.The propositional logic of elementary tasks[J].Notre Dame Journal of Formal Logic,2000,41(2):171-183 [9] Sipser M.Introduction to the Theory of Computation[M].Thompson,2006 [10] Xu W,Liu S.Deduction theorem for symmetric cirquent calculus[J].Advances in Intelligent and Soft Computing,2010,82:121-126 [11] Blass A.A game semantics for linear logic[J].Annals of Pure and Applied Logic,1992,56:183-220 [12] 朱大铭,马绍汉.算法分析与设计[M].北京:高等教育出版社,2009 Zhu Da-ming,Ma Shao-han.Design and Analysis of Algorithms[M].Beijing:Higher education press,2009 |
No related articles found! |
|