
A space lower-bound technique for four-dimensional alternating Turing machines
Author(s) -
Makoto Nagatomo,
Shinnosuke Yano,
Makoto Sakamoto,
Satoshi Ikeda,
Hiroshi Furutani,
Teruaki Ito,
Tsutomu Ito,
Yasuo Uchida,
Tsunehiro Yoshinaga
Publication year - 2016
Publication title -
proceedings of international conference on artificial life and robotics
Language(s) - English
Resource type - Journals
eISSN - 2435-9157
pISSN - 2188-7829
DOI - 10.5954/icarob.2016.os12-4
Subject(s) - computer science , turing machine , nspace , space (punctuation) , turing machine examples , mathematics , universal turing machine , algorithm , operating system , computation