Information and Systems-Theoretical Foundations of Computing(Date:1999/11/16)

Presentation
表紙

,  

[Date]1999/11/16
[Paper #]
目次

,  

[Date]1999/11/16
[Paper #]
A decision algorithm for rational Presburger sentences using a division routine of polyhedra

Naoki SHIBATA,  Kozo OKANO,  Kenichi TANIGUCHI,  

[Date]1999/11/16
[Paper #]COMP99-49
Exponential Separation on the Length of Oblivious and Syntactic BPs

Toshiro Takase,  Yasuo Okabe,  Kazuo Iwama,  

[Date]1999/11/16
[Paper #]COMP99-50
An algorithm for computing T(G)

Akira Tabuchi,  Shigeki Iwata,  

[Date]1999/11/16
[Paper #]COMP99-51
A Polynomial Time Algorithm to Infer Sequential Machines

Katsuhiko TAKAHASHI,  Akiko FUJIYOSHI,  Takumi KASAI,  

[Date]1999/11/16
[Paper #]COMP99-52
Approximating the Domatic Number

Uriel Feiget,  Magnus M. Hanlldorsson,  Guy Kortsarz,  

[Date]1999/11/16
[Paper #]COMP99-53
A Linear-Time Algorithm to Find Independent Spanning Trees in Maximal Planar Graphs

Sayaka NAGAI,  Shin-ichi NAKANO,  

[Date]1999/11/16
[Paper #]COMP99-54
The pagenumber of the classes of pathwidth-k graphs and strong pathwidth-k graphs

Mitsunori Togasaki,  Koichi Yamazaki,  

[Date]1999/11/16
[Paper #]COMP99-55
[OTHERS]

,  

[Date]1999/11/16
[Paper #]