Affiliation:
1. Computer Eng., DongA University
2. Electronics Eng., DongA University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference18 articles.
1. [1] G. Kahn, “Natural semantics,” 4th Annual Symposium on Theoretical Aspects of Computer Science, LNCS vol.247, 1987.
2. [2] G. Japaridze, “Introduction to computability logic,” Annals of Pure and Applied Logic, vol.123, no.1-3, pp.1-99, 2003. 10.1016/s0168-0072(03)00023-x
3. [3] G. Japaridze, “Sequential operators in computability logic,” Information and Computation, vol.206, no.12, pp.1443-1475, 2008. 10.1016/j.ic.2008.10.001
4. [4] G. Japaridze, Propositional computability logic I, ACM Transactions on Computational Logic, vol.7, no.2, pp.302-330, 2006. 10.1145/1131313.1131318
5. [5] G. Japaridze, Propositional computability logic II, ACM Transactions on Computational Logic, vol.7, no.2, pp.331-362, 2006. 10.1145/1131313.1131319