|
| Keyword : computability logic
| |
|
Expressing Algorithms as Concise as Possible via Computability Logic
Keehang KWON | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2014/06/01
Vol. E97-A
No. 6 ;
pp. 1385-1387
Type of Manuscript:
Special Section LETTER (Special Section on Discrete Mathematics and Its Applications)
Category:
Keyword:
tasks, algorithm, agents, computability logic, | | | Summary | Full Text:PDF(71.2KB) | |
|
|
