Research reports of the Tokuyama Technical College
PISSN :
0386-2542
NCID :
AN00172830
トップページへ戻る
Volume 45
( 2022-03-01 )
Volume 44
( 2020-12-01 )
Volume 43
( 2019-12-01 )
Volume 42
( 2018-12-01 )
Volume 41
( 2017-12-01 )
Volume 40
( 2016-12-01 )
Volume 39
( 2015-12-01 )
Volume 38
( 2014-12-01 )
Volume 37
( 2013-12-01 )
Volume 36
( 2013-02-01 )
Volume 35
( 2012-03-01 )
Volume 34
( 2010-12-01 )
Volume 33
( 2009-12-01 )
Volume 32
( 2008-12-01 )
Volume 31
( 2007-12-01 )
Volume 30
( 2006-12-01 )
Volume 29
( 2005-12-01 )
Volume 28
( 2004-12-01 )
Volume 27
( 2003-12-01 )
Volume 26
( 2002-12-01 )
Volume 25
( 2001-12-01 )
Volume 24
( 2000-12-01 )
Volume 23
( 1999-12-01 )
Volume 22
( 1998-12-01 )
Volume 21
( 1997-12-01 )
Volume 20
( 1996-12-01 )
Volume 19
( 1995-12-01 )
Volume 18
( 1994-12-01 )
Volume 17
( 1993-12-01 )
Volume 16
( 1992-12-01 )
Volume 15
( 1991-12-01 )
Volume 14
( 1990-12-01 )
Volume 13
( 1989-12-01 )
Volume 12
( 1988-12-01 )
Volume 11
( 1987-12-01 )
Volume 10
( 1986-12-01 )
Volume 9
( 1985-12-01 )
Volume 8
( 1984-12-01 )
Volume 7
( 1983-12-01 )
Volume 6
( 1982-12-01 )
Volume 5
( 1981-12-01 )
Volume 4
( 1980-12-01 )
Volume 3
( 1979-01-30 )
Volume 2
( 1979-01-30 )
Volume 1
( 1977-09-05 )
Permalink
:
https://ypir.lib.yamaguchi-u.ac.jp/tt/27
Research reports of the Tokuyama Technical College Volume 29
published_at 2005-12-01
Sublinear Space-Bounded One-Way Self-Verifying Nondeterministic Turing Machines
Sublinear Space-Bounded One-Way Self-Verifying Nondeterministic Turing Machines
YOSHINAGA Tsunehiro
XU Jianliang
INOUE Katushi
fulltext
324 KB
TT10029000004.pdf
About This Article
All Journal Index
Other Article
Analysis for Tensile Strength of Flared Pipe Joint by FEM
PP. 1 - 6
The Characteristics of the Freshmen in 2005 〔The National Institute of Technology, Tokuyama College 〕 : An Analysis Based on the Results of a Questionnaire to the Freshmen
PP. 7 - 17
Multi-level Logic Circuits using EXOR Gates
PP. 19 - 24
Sublinear Space-Bounded One-Way Self-Verifying Nondeterministic Turing Machines
PP. 25 - 28
Ion Exchange of Layer Structured Titanate K_XTi_<2-X>Fe_XO_4(X=0.80) and Application as Cathode Material in Rechargeable Lithium Battery
PP. 29 - 33
The Web-based Management System of Shared Data : One Method of Students' Reports Management through Electronic Network Communication
PP. 35 - 39
The study on the scour phenomenon induced by the local flow structure around the bluff body and the control technique
PP. 41 - 48