Information and Systems-Theoretical Foundations of Computing(Date:1997/05/30)

Presentation
表紙

,  

[Date]1997/5/30
[Paper #]
目次

,  

[Date]1997/5/30
[Paper #]
Diagnosis of system reqirements and specifications

Xiaosong Lu,  Fumiaki Kanezashi,  Atsushi Togashi,  

[Date]1997/5/30
[Paper #]COMP97-9
Proof system for π-Calculus

Fumiaki Kanezashi,  Atsushi Togashi,  

[Date]1997/5/30
[Paper #]COMP97-10
A Formal Specification Programming Environment for Communicating Systems : ONL

Nobuyasu Ohkubo,  Shoji Yuen,  Toshiki Sakabe,  Yasuyoshi Inagaki,  

[Date]1997/5/30
[Paper #]COMP97-11
A Graphical Debugger for Labeled Transition Systems based on the Diagnostic Test Generation

T. Hirate,  S. Yuen,  T. Sakabe,  Y. Inagaki,  

[Date]1997/5/30
[Paper #]COMP97-12
Isomorphism for Graphs of Bounded Distance Width

Koichi Yamazaki,  Hans L. Bodlaender,  Babette De Fluiter,  Dimitrios M. Thilikos,  

[Date]1997/5/30
[Paper #]COMP97-13
Minimum size flow-sink-set location problem with various node flow-demands

Hiro ITO,  Mitsuo YOKOYAMA,  

[Date]1997/5/30
[Paper #]COMP97-14
Oblivious Routing on the Three Dimensional Mesh Computers

Eiji Miyano,  Kazuo Iwama,  

[Date]1997/5/30
[Paper #]COMP97-15
Optimal Fault-tolerant ATM-Routings for Biconnected Graphs

Koichi Wada,  Wei Chen,  Yupin Luo,  Kimio Kawaguchi,  

[Date]1997/5/30
[Paper #]COMP97-16
An Algorithm for The Problem of Forming A Single Point By Synchronous Mobile Robots in A Star-shaped Polygon

Kazuhiko Kakamu,  Wei Chen,  Koichi Wada,  Kimio Kawaguchi,  

[Date]1997/5/30
[Paper #]COMP97-17
Universal Prediction and Universal Coding

Joe Suzuki,  

[Date]1997/5/30
[Paper #]COMP97-18
Complexity of Type-Consistency Problems in Object-Oriented Databases

Shougo Shimizu,  Yasunori Ishihara,  Hiroyuki Seki,  Minoru Ito,  

[Date]1997/5/30
[Paper #]COMP97-19
Complexity Analysis of Boolean Functions via Regular Languages : Some observations on M-Programs over Groups

Seinosuke TODA,  

[Date]1997/5/30
[Paper #]COMP97-20
Efficient Adder under Left-to-Right Input Arrival

Naofumi TAKAGI,  Takashi HORIYAMA,  

[Date]1997/5/30
[Paper #]COMP97-21
[OTHERS]

,  

[Date]1997/5/30
[Paper #]