Information and Systems-Theoretical Foundations of Computing(Date:1995/04/21)

Presentation
表紙

,  

[Date]1995/4/21
[Paper #]
目次

,  

[Date]1995/4/21
[Paper #]
Approximation Algorithms for the Local Edge-Connectivity Augmentation Problem of Graphs

Hirokazu Nakamasu,  Toshiya Mashima,  Toshimasa Watanabe,  

[Date]1995/4/21
[Paper #]
The Legal Firing Sequence Problem of Petri Nets with State Machine Structure

Keisuke Morita,  Hirofumi Nakawaki,  Toshimasa Watanabe,  

[Date]1995/4/21
[Paper #]
Finding Minimal Deadlocks in General Petri Nets

Shinji Tanimoto,  Masahiro Yamauchi,  Toshimasa Watanabe,  

[Date]1995/4/21
[Paper #]
Uniform Randomized Self-Stabilizing Mutual Exclusion on Unidirectional Rings

Hirotsugu Kakugawa,  Masafumi Yamashita,  

[Date]1995/4/21
[Paper #]
Randomized Simulations Between CRCW PRAMs

Toshiyuki Fujiwara,  Chuzo Iwamoto,  Kazuo Iwama,  

[Date]1995/4/21
[Paper #]
On Negation-Limited Circuit Complexity of Symmetric Functions

Keisuke Tanaka,  Tetsuro Nishino,  

[Date]1995/4/21
[Paper #]
A Characterization of Infinite Binary Sequences with Low Kolmogorov Complexity

Kojiro Kobayashi,  Hiroaki Nagoya,  

[Date]1995/4/21
[Paper #]
Alternation for Two-Way (Inkdot) Multi-Counter Automata with Sublinear Space

Tsunehiro Yoshinaga,  Katsushi Inoue,  

[Date]1995/4/21
[Paper #]
A Note on Alternating Pushdown Automata With Sublogarithmic Space

Jian-Liang Xu,  Katsushi Inoue,  Yue Wang,  Akira Ito,  

[Date]1995/4/21
[Paper #]
A Note on Simple Multihead Pushdown Automata

Yue Wang,  Masaaki Ichikawa,  Katsushi Inoue,  Akira Ito,  

[Date]1995/4/21
[Paper #]
[OTHERS]

,  

[Date]1995/4/21
[Paper #]