SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.
Citation: | Jian-Liang Xu, Yun-Xia Liu, Tsunehiro Yoshinaga. A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States[J]. Journal of Computer Science and Technology, 2006, 21(6): 979-983. |
[1] |
Ranjan D, Chang R, Hartmanis J. Space bounded computations: Review and new separation results. -\it Theoretical Computer Science}, 1991, 80: 289--302.
|
[2] |
Geffert V. Nondeterministic computations in sublogarithmic space and space constructability. -\it SIAM J. Comput}., 1991, 20(3): 484--498.
|
[3] |
Chandra A K, Kozen D C, Stockmeyer L J. Alternation. -\it J. ACM}, 1981, 28(1): 114--133.
|
[4] |
Chang J H, Ibarra O H, Ravikumar B. Some observations concerning alternating Turing machines using small space. -\it Information Processing Letters}, 1987, 25: 1--9, 1987 (Erratum: -\it Information Processing Letters}, 1988, 27: 53.)
|
[5] |
Ito A, Inoue K, Takanami I. A note on alternating Turing machines using small space. -\it IEICE Trans. Inf. & Syst}., 1987, E70(10): 990--996.
|
[6] |
Li\'skiewicz M, Reischuk R. The sublogarithmic alternating space world. -\it SIAM J. Comput}., 1996, 25(4): 828--861.
|
[7] |
Szepietowski A. Turing machines with sublogarithmic space. -\it Lecture Notes in Computer Science 843}. Berlin: Springer-Verlag, 1994, pp.89--94.
|
[8] |
Inoue K, Ito A, Takanami I. On 1-inkdot alternating Turing machines with small space. -\it Theoretical Computer Science}, 1994, 127: 171--179.
|
[9] |
Xu J. Alternating pushdown automata with sublogarithmic space
[Dissertation]. Yamaguchi University, 1998. |
[10] |
Xu J, Inoue K, Wang Y, Ito A. A note on alternating pushdown automata with sublogarithmic space. -\it IEICE Trans. Inf. & Syst}., 1996, E79-D(4): 259--270.
|
[11] |
Xu J, Yoshinaga T, Inoue K \it et al. \rm Alternation for sublogarithmic space-bounded alternating pushdown automata. -\it Theoretical Computer Science}, 2001, 259: 475--492.
|
[12] |
Xu J, Chen Y, Yoshinaga T \it et al. \rm On 1-inkdot alternating pushdown automata sublogarithmic space. -\it IEICE Trans. Inf. & Syst}., 2003, E86-D(9): 1814--1824.
|
[13] |
Yoshinaga T, Xu J, Inoue K. A note on closure property of sublogarithmic space-bounded 1-inkdot alternating Turing machines with only existential (universal) states. -\it Research Reports of the Tokuyama College of Technology}, 2003, 27: 7--11.
|
[14] |
Inoue K, Ito A, Takanami I, Yoshinaga T. A note on multi-inkdot nondeterministic Turing machines with small space. \it Information Processing Letters, \rm 1993, 48: 285--288.
|
[1] | Wen-Yu Gao, Hang Gao. 2k-Vertex Kernels for Cluster Deletion and Strong Triadic Closure[J]. Journal of Computer Science and Technology, 2023, 38(6): 1431-1439. DOI: 10.1007/s11390-023-1420-1 |
[2] | LI Yong, Dang Van Hung. Checking Temporal Duration Properties of Timed Automata[J]. Journal of Computer Science and Technology, 2002, 17(6). |
[3] | LIU Tian. Some Structural Properties of SAT[J]. Journal of Computer Science and Technology, 2000, 15(5): 439-444. |
[4] | ZHAO Jianhua. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5): 423-429. |
[5] | LIU Tian. Some Structural Properties of SAT[J]. Journal of Computer Science and Technology, 2000, 15(5). |
[6] | ZHAO Jianhua, Dang Van Hung. Checking Timed Automata for Linear Duration Properties[J]. Journal of Computer Science and Technology, 2000, 15(5). |
[7] | FU maxi. Relative Properties of Frame Language[J]. Journal of Computer Science and Technology, 1999, 14(4): 320-327. |
[8] | Li Wei, Zhang Bo, Hilmar Jaschek. Real-Time Collision-Free Path Planning for Robots in Configuration Space[J]. Journal of Computer Science and Technology, 1994, 9(1): 37-52. |
[9] | Zhang Xubo. Some Results on the Confluence Property of Combined Term Rewriting Systems[J]. Journal of Computer Science and Technology, 1991, 6(3): 291-295. |
[10] | Beng C. Ooi, B. Srinivasan. Properties of Semijoin Sequences[J]. Journal of Computer Science and Technology, 1989, 4(2): 106-115. |