2024-03-29T15:09:04Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00047027
2023-04-24T00:41:21Z
3:233:244
Timed Pushdown Automata: Expressiveness and Reachability
時間プッシュダウンオートマトンの表現力と到達可能性問題
Uezato, Yuya
193860
上里, 友弥
筑波大学
University of Tsukuba
博士(工学)
Doctor of Philosophy in Engineering
2017
thesis
2018
2018-03-23
application/pdf
甲第8516号
https://tsukuba.repo.nii.ac.jp/record/47027/files/DA08516.pdf
eng
open access