Affiliation:
1. Dept. of Computer Eng., Dong-A University
2. Dept. of Electronics Eng., Dong-A 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
Reference7 articles.
1. [1] G. Kahn, “Natural semantics,” Proc. 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.
3. [3] G. Japaridze, “Sequential operators in computability logic,” Information and Computation, vol.206, no.12, pp.1443-1475, 2008.
4. [4] K. Kwon, S. Hur, and M.-Y. Park, “Improving robustness via disjunctive statements in imperative programming,” IEICE Trans. Inf. & Syst., vol.E96-D, no.9, pp.2036-2038, Sept. 2013.
5. [5] J.S. Hodas and D. Miller, “Logic programming in a fragment of intuitionistic linear logic,” Information and Computation, vol.110, no.2, pp.327-365, 1994.