On Average-Case Hardness of Higher-Order Model Checking
オープンアクセス
-
- 小林 直樹
- 東京大学
書誌事項
- タイトル
- On Average-Case Hardness of Higher-Order Model Checking
- 著者
- Yoshiki Nakamura, Kazuyuki Asada, Naoki Kobayashi, Ryoma Sin'ya, Takeshi Tsukada
収録刊行物
-
- Proceedings of FSCD 2020, LIPIcs
-
Proceedings of FSCD 2020, LIPIcs 167 2020