Information and Systems-Theoretical Foundations of Computing(Date:1997/01/24)

Presentation
表紙

,  

[Date]1997/1/24
[Paper #]
目次

,  

[Date]1997/1/24
[Paper #]
Removal of recursive call in procedural language

Taku Kitagawa,  Tan Watanabe,  

[Date]1997/1/24
[Paper #]COMP96-71
On the Church-Rosser Property of Root-E-overlapping and Depth-Preserving Term Rewriting Systems

Hiroshi Gomi,  Michio Oyamaguchi,  Yoshikatsu Ohta,  

[Date]1997/1/24
[Paper #]COMP96-72
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems

Munehiro Iwami,  Masahiko Sakai,  Yoshihito Toyama,  

[Date]1997/1/24
[Paper #]COMP96-73
On Uniquely Parsable Unification Grammars

Kenichi MORITA,  Hiroki Asou,  Katsunobu IMAI,  

[Date]1997/1/24
[Paper #]COMP96-74
A scheduling method of the instructions which is hard to be dependent on the degree of parallelism for the fine grain parallel processors

Eisaku YAMAGUCHI,  Ichi TAKUMI,  Shigeru MASUYAMA,  Masayasu HATA,  

[Date]1997/1/24
[Paper #]COMP96-75
A Method for Improving the Quality of Delaunay Tetrahedrization

Hiroyoshi Miyano,  Kokichi Sugihara,  

[Date]1997/1/24
[Paper #]COMP96-76
On the Construction of Threshold Circuits Simulating Augmented Transition Networks

Masahiro Kobayashi,  Tetsuro Nishino,  

[Date]1997/1/24
[Paper #]COMP96-77
Level walk on arrangement in the plane

Atsushi Doi,  

[Date]1997/1/24
[Paper #]COMP96-78
[OTHERS]

,  

[Date]1997/1/24
[Paper #]