Information and Systems-Theoretical Foundations of Computing(Date:1998/11/20)

Presentation
表紙

,  

[Date]1998/11/20
[Paper #]
目次

,  

[Date]1998/11/20
[Paper #]
Designing a Functional Language Based on Classical Proofs

Yoshiyuki Nojima,  Kouichi Hirata,  Ken-etsu Fujita,  

[Date]1998/11/20
[Paper #]COMP98-51
Maximizing Agreement with a Classification by Bounded Number of Associated Words

Shinichi Shimozono,  Hiroki Arimura,  Setsuo Arikawa,  

[Date]1998/11/20
[Paper #]COMP98-52
Evolving Frame-structure Logic by Using Instances and Three Types of Object Operators

Kouji KOMATSU,  Noritaka NISHIHARA,  Shouichi YOKOYAMA,  

[Date]1998/11/20
[Paper #]COMP98-53
Unique Solution Instance Generation for the 3-Satisfiability(3SAT)Problem

Mitsuo Motoki,  Ryuhei Uehara,  

[Date]1998/11/20
[Paper #]COMP98-54
On the NP-Completeness of Weakly Stable Marriage

Shuichi Miyazaki,  Kazuo Iwama,  

[Date]1998/11/20
[Paper #]COMP98-55
The Complexity of Schema Matching

Keizo Yamada,  Kouichi Hirata,  Masateru Harao,  

[Date]1998/11/20
[Paper #]COMP98-56
On Proving Termination of Term Rewriting Systems by Pruning Method

Keiichirou Kusakari,  Yoshihito Toyama,  

[Date]1998/11/20
[Paper #]COMP98-57
On Proving Termination by General Dummy Elimination

Masaki Nakamura,  Yoshihito Toyama,  

[Date]1998/11/20
[Paper #]COMP98-58
Inductionless induction and rewriting induction

Hirotaka Koike,  Yoshihito Toyama,  

[Date]1998/11/20
[Paper #]COMP98-59
Closure Properties of the Classes of Sets Recognized by Space-bounded Two-dimensional Probabilistic Turing Machines

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

[Date]1998/11/20
[Paper #]COMP98-60
A Leaf-size Hierarchy of Alternating Rebound Turing Machines

Zhang Lan,  Katsushi Inoue,  Akira Ito,  Wang Yue,  

[Date]1998/11/20
[Paper #]COMP98-61
An Optimal Construction of Exactly Min-Wise Independent Permutations

YOSHINORI TAKEI,  TOSHIYA ITOH,  TAKAHIRO SHINOZAKI,  

[Date]1998/11/20
[Paper #]COMP98-62
[OTHERS]

,  

[Date]1998/11/20
[Paper #]