zbMath1339.68085MaRDI QIDQ3178027
Ryoju Katamune, Hiroshi Furutani, Takao Ito, Yasuo Uchida, Tomoya Matsukawa, Satoshi Ikeda, Michio Kono, Makoto Sakamoto, Tsunehiro Yoshinaga
Publication date: 8 July 2016
zbMATH Keywords
synchronizationhierarchyalternationrecognizabilityfour-dimensional Turing machine
Mathematics Subject Classification ID