English
Home
各種検索
研究業績検索
論文・著書検索
( 詳細検索 )
特許検索
( 詳細検索 )
研究ハイライト検索
( 詳細検索 )
研究者検索
組織・担当から絞り込む
サポート
よくあるご質問(FAQ)
T2R2登録申請
学位論文登録について
組織単位データ出力について
(学内限定)
サポート・問合せ
T2R2について
T2R2とは?
運用指針
リーフレット
本文ファイルの公開について
関連リンク
東京工業大学
東京工業大学STARサーチ
国立情報学研究所(学術機関リポジトリ構築連携支援事業)
Home
>
ヘルプ
論文・著書情報
タイトル
和文:
Preorders on monads and coalgebraic simulations
英文:
Preorders on monads and coalgebraic simulations
著者
和文:
勝股審也,
佐藤哲也
.
英文:
Shin-ya Katsumata,
Tetsuya Sato
.
言語
English
掲載誌/書名
和文:
Lecture notes in computer science, LNCS
英文:
Lecture notes in computer science, LNCS
巻, 号, ページ
Volume 7794 pp. 145-160
出版年月
2013年3月
出版者
和文:
英文:
Springer-Verlag Berlin Heidelberg
会議名称
和文:
英文:
International Conference on Foundations of Software Science and Computational Structures (FoSSaCS 2013)
開催地
和文:
英文:
Rome
公式リンク
https://link.springer.com/chapter/10.1007/978-3-642-37075-5_10
DOI
https://doi.org/10.1007/978-3-642-37075-5_10
受賞情報
Best Student Contribution Award
©2007
Tokyo Institute of Technology All rights reserved.