|
| Keyword : tasks
|
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 | |
| |
|
|