A Probabilistic Higher-Order Fixpoint Logic
オープンアクセス
-
- 小林 直樹
- 東京大学
書誌事項
- タイトル
- A Probabilistic Higher-Order Fixpoint Logic
- 著者
- Yo Mitani, Naoki Kobayashi, Takeshi Tsukada
収録刊行物
-
- Proceedings of FSCD 2020, LIPIcs
-
Proceedings of FSCD 2020, LIPIcs 167 2020