Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.

Tetsuo Tamai

Browse the full ICFEM paper archive.