論文

査読有り

2019年

Codensity Games for Bisimilarity.

34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019

Yuichi Komorida
Shin-ya Katsumata
Nick Hu
Bartek Klin
Ichiro Hasuo

開始ページ: 1
終了ページ: 13
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1109/LICS.2019.8785691
出版者・発行元: IEEE

リンク情報

DOI: https://doi.org/10.1109/LICS.2019.8785691
DBLP: https://dblp.uni-trier.de/rec/conf/lics/KomoridaKHKH19
URL: https://ieeexplore.ieee.org/document/8785691
Dblp Cross Ref: https://dblp.uni-trier.de/conf/lics/2019
Dblp Url: https://dblp.uni-trier.de/db/conf/lics/lics2019.html#KomoridaKHKH19

ID情報

DOI : 10.1109/LICS.2019.8785691
ISBN : 9781728136080
DBLP ID : conf/lics/KomoridaKHKH19

エクスポート: BibTeX RIS

論文リストへ