井上 克司

Some observations on one-way alternating pushdown automata with sublogarithmic space 

IEICE TRANS. FUNDAMENTALS E87-A(5) 1012-1019 2004年  

Las Vegas, self-verifying nondeterministic and deterministic one-way multi-counter automata with bounded time 

IEICE TRANS. FUNDAMENTALS E86-A(5) 1207-1212 2003年  

Some properties on input head reversal-bounded two-dimensional Turing machines 

IEICE TRANS. INF. & SYST. E86-D(2) 201-212 2003年  

Las Vegas, self-verifying nondeterministic and deterministic one-way multi-counter automata with bounded time 

IEICE TRANS. FUNDAMENTALS E86-A(5) 1207-1212 2003年  

Some properties on input head reversal-bounded two-dimensional Turing machines 

IEICE TRANS. INF. & SYST. E86-D(2) 201-212 2003年  

A leaf-size hierarchy of alternating rebound Turing machines 

Journal of Automata, Languages and Combinatorics 7(3) 395-410 2002年  

Self-verifying nondeterministic and Las Vegas multihead finite automata 

IEICE TRANS. FUNDAMENTALS E84-A(5) 1094-1101 2001年  

Elemenntary sets and declarative biases in a restricted gRS-ILP model 

Informatica 24 125-135 2000年  

Some observations on l-inkdot alternating multi-counter automata with subinear space 

IEICE Transactions on Information and Systems E83-D(2) 285-290 2000年  

Space hierarchies of two-dimensional alternating Turing machines,pushdown automata and counter automato 

International Jounal of Pattern Recognition and Artificial Intelligence 13(4) 503-521 1999年  

A Note on two-dimensional probabilistic Turing machines(共著) 

Information Sciences 113(3/4) 205-220 1999年  

A Note on Probabilistic Rebound Automata(共著) 

IEICE Transactions on Information and Systems E81-D(10) 1045-1052 1998年  

On Multi-Inkdot Two-Way Alternating Turing Machines and Pushdown Automata with Sublogarithmic Space and Constant Leaf-Size「(共著)」 

IEICE Transactions on Information and Systems E80-D(1) 86-90 1997年  

Three-Dimensional Alternating Turing Machines with Only Universal States「(共著)」 

Information Sciences 95(3/4) 155-190 1996年