Art

J-GLOBAL ID：201002111273486169   Reference number：10A1294716

Formal treatment of a family of fixed-point problems on graphs by CafeOBJ

グラフ上の固定小数点問題ファミリーのCafeOBJによる正式な取扱い

Author (1)： TAMAI T
Material： ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS
Page： 67-74  Publication year： 2000 
JST Material Number： I20000433  ISBN： 0-7695-0822-7  Document type： Article
Country of issue： Other (ZZZ)  Language： ENGLISH (EN)

Terms in the title (3)： グラフ ,  ファミリー ,  取扱い