Information and Systems-Theoretical Foundations of Computing(Date:1995/11/17)

Presentation
表紙

,  

[Date]1995/11/17
[Paper #]
目次

,  

[Date]1995/11/17
[Paper #]
Sublogalithmic Space-Bounded Alternating Pushdown Automata with and without 1-Inkdot : Alternation Hierarchy and Related Problems

Jianliang Xu,  Tsunehiro Yoshinaga,  Katsushi Inoue,  Yue Wang,  Akira Ito,  

[Date]1995/11/17
[Paper #]COMP95-57
Proof Grammar in Typed λ-calculus

Keizo Ymada,  Kouichi Hirata,  Masateru Harao,  

[Date]1995/11/17
[Paper #]COMP95-58
An O((1-α)/α n) -depth O((n^<3+2α>)/(α log n)) -size circuit for modular exponentiation

Takafumi Hamano,  Naofumi Takagi,  Shuzo Yajima,  Franco P. Preparata,  

[Date]1995/11/17
[Paper #]COMP95-60
A Deterministic O(mn) Time Edge-Splitting Algorithm in Undirected Multigraphs

Hiroshi NAGAMOCHI,  Toshihide IBARAKI,  

[Date]1995/11/17
[Paper #]COMP95-61
Learnability of Ordered Binary Decision Diagrams

Kouichi Hirata,  Ayumi Shinohara,  Satoshi Matsumoto,  

[Date]1995/11/17
[Paper #]COMP95-61
Reachability, Observability and Minimal Realizations of Finite Automata

Takeo IKAI,  Masayuki MASUMOTO,  Kunio FUKUNAGA,  

[Date]1995/11/17
[Paper #]COMP95-62
Learning Moore and Mealy Machines : Angluin's FA Learning and Minimum Partial Realization

Takeo IKAI,  Takayuki SHINTANI,  Kunio FUKUNAGA,  

[Date]1995/11/17
[Paper #]COMP95-63
Structure of Razborov's Approximation Model for General Circuits

Kazuyuki AMANO,  Akira MARUOKA,  

[Date]1995/11/17
[Paper #]COMP95-64
A Complete Set of Transformation Rules for Fan-In Restricted NAND Circuits

Hiroyuki KUROKAWA,  Sunao SAWADA,  Kazuo IWAMA,  

[Date]1995/11/17
[Paper #]COMP95-65
[OTHERS]

,  

[Date]1995/11/17
[Paper #]