Information and Systems-Theoretical Foundations of Computing(Date:1996/11/22)

Presentation
表紙

,  

[Date]1996/11/22
[Paper #]
目次

,  

[Date]1996/11/22
[Paper #]
Routing Problems on Parallel Machines with Limited Bandwidth and Degrees

Eiji Miyano,  Kazuo Iwama,  

[Date]1996/11/22
[Paper #]COMP96-38
On Vertex Set Partitioning Methods for Improving Approximation Algorithms

Yuichi Asahiro,  Kazuo Iwama,  

[Date]1996/11/22
[Paper #]COMP96-39
Complexity of Path Discovery Game Problems

Hiroaki TOHYAMA,  Akeo ADACHI,  

[Date]1996/11/22
[Paper #]COMP96-40
A Design of Public Key Cryptosystem Using Indeterminate Equations

Nobutaka UCHIDA,  Akeo ADACHI,  

[Date]1996/11/22
[Paper #]COMP96-41
A Design of Public Key Cryptosystem Using The Numerical 3-Dimensional Matching Problem

Tetsurou NISHI,  Akeo ADACHI,  

[Date]1996/11/22
[Paper #]COMP96-42
On the Space Complexity of Data Mining

Isao Yagi,  Ryuichi Nakanishi,  Yasunori Ishihara,  Minoru Ito,  Hiroyuki Seki,  

[Date]1996/11/22
[Paper #]COMP96-43
A Logic Programming Language for Reasoning about Sequences

Hiroyuki Seki,  

[Date]1996/11/22
[Paper #]COMP96-44
Soundness of abductive proof procedure based on non-safe SLDNF-resolution

Yasuhiro Nishii,  Naohiko Ishiba,  Susumu Yamasaki,  

[Date]1996/11/22
[Paper #]COMP96-45
Space Hierarchies of Two-dimensional Alternating Turing Machines, Pushdown Automata and Counter Automata

Tokio OKAZAKI,  Katsushi INOUE,  Akira ITO,  Yue WANG,  

[Date]1996/11/22
[Paper #]COMP96-46
Closure Properties of Alternating Multi-Counter Automata with Small Space

Tsunehiro YOSHINAGA,  Katsushi INOUE,  

[Date]1996/11/22
[Paper #]COMP96-47
Some Observations Concerning Alternating Pushdown Automata with Sublogarithmic Space

Jianliang Xu,  Katsusi Inoue,  Yue Wang,  Akira Ito,  

[Date]1996/11/22
[Paper #]COMP96-48
Hierarchies of two-dimentional ruler automata based on the number of rulers

Tomoya Hasebe,  Akira Ito,  Katsushi Inoue,  Yue Wang,  

[Date]1996/11/22
[Paper #]COMP96-49
[OTHERS]

,  

[Date]1996/11/22
[Paper #]