著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Tsunehiro Yoshinaga and Jianliang Xu and Katsushi Inoue,Sublinear Space-Bounded One-Way Self-Verifying Nondeterministic Turing Machines,"徳山工業高等専門学校研究紀要 = Research reports of National Institute of Technology, Tokuyama College",03862542,周南 : 徳山工業高等専門学校,2005-12,,29,25-28,https://cir.nii.ac.jp/crid/1520009408381648000,