検索結果 4 件

記事
森, 雅生, Mori, Masao2000Theoretical Computer Science233 No. 1-2p.129-145
全国の図書館
  • 一般注記identifier:oai:t2r2.star.titech.ac.jp:50314931
  • 並列タイトル等(連結)A small final coalgebra theorem
  • 並列タイトル等A small final coalgebra theorem
デジタル記事
2000-02Theoretical Computer Science233 1/2p.129-145
インターネットで読める全国の図書館
  • 要約等This paper presents an elementary and self-contained proof of an existence theorem of final coalgebras for endofunctors on the category of sets and functions.
  • 標準番号(その他)https://hdl.handle.net/2324/3624
デジタル記事
河原, 康雄, 森, 雅生Elsevier2000-02Theoretical Computer Science233 1/2p.129-145
インターネットで読める全国の図書館
  • 関連情報Theoretical Computer Science || 233(1/2) || p129-145 http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/ htt......www.i.kyushu-u.ac.jp/~kawahara/
デジタル文書・図像類
河原, 康雄, 森, 雅生Research Institute of Fundamental Information Science, Kyushu University1994-06RIFIS Technical Report90
インターネットで読める全国の図書館
  • 目次・記事90.ps.tar.pdf 90.ps.tgz
  • 関連情報RIFIS Technical Report || 90 http://www.i.kyushu-u.ac.jp/research/report.html

検索結果は以上です。