A final coalgebra theorem for concurrent computation
スポンサーリンク
概要
著者
-
KAWAHARA Yasuo
Research Institute of Fundamental Information Science, Kyushu University
-
Kawahara Yasuo
Research Institute Of Fundamental Informations Science Kyushu University
-
Kawahara Yasuo
Research Institute Of Fundamental Information Science Kyushu University
-
Mori Masao
Research Institute Of Fundamental Informations Science Kyushu University
関連論文
- Fuzzy Graph Rewritings(Theory of Rewriting Systems and Its Applications)
- A final coalgebra theorem for concurrent computation
- Trees and Terms in Relational Graph Rewriting System(Theory of Rewriting Systems and Its Applications)