Information and Systems-Theoretical Foundations of Computing(Date:1997/04/25)

Presentation
表紙

,  

[Date]1997/4/25
[Paper #]
目次

,  

[Date]1997/4/25
[Paper #]
Formalization of Syntax-Directed Diagram Editor Based on Attribute Graph Grammar

Koushi Anzai,  Yoshihiro Adachi,  Kensei Tsuchida,  Takeo Yaku,  

[Date]1997/4/25
[Paper #]COMP97-1
Block Diagram Generation and Analysis Based on Graph Rewriting

Suguru Kobayashi,  Yoshihiro Adachi,  Koushi Anzai,  Kensei Tsuchida,  

[Date]1997/4/25
[Paper #]COMP97-2
A Graph Grammar for Non-Uniform Quadtrees

Kunio Aizawa,  Akira Nakamura,  

[Date]1997/4/25
[Paper #]COMP97-3
Polynomial Time Inductive Inference of Regular Term Tree Languages from Positive Data

Satoshi Matsumoto,  Yukiko Hayashi,  Takayoshi Shoudai,  

[Date]1997/4/25
[Paper #]COMP97-4
Solving an Order-Sorted Unification Problem with Term Declarations Using Tree Automata

Toshinori Takai,  Yuichi Kaji,  Tadao Kasami,  

[Date]1997/4/25
[Paper #]COMP97-5
A Distributed Consistent Global Checkpoint Algorithm with a Minimum Number of Checkpoints

Yoshifumi Manabe,  

[Date]1997/4/25
[Paper #]COMP97-6
Classes of graphs with an optimal shortest paths algorithm

Keiko TSUGANE,  Etsuro MORIYA,  

[Date]1997/4/25
[Paper #]COMP97-7
Some Observations on an algorithm recognizing interval graphs

Takayuki NAGOYA,  Seinosuke TODA,  

[Date]1997/4/25
[Paper #]COMP97-8
[OTHERS]

,  

[Date]1997/4/25
[Paper #]