Representing Covert Movements by Delimited Continuations (extended version)
書誌事項
- タイトル
- Representing Covert Movements by Delimited Continuations (extended version)
- 著者
- Bekki, Daisuke
収録刊行物
-
- Kumiyo NAKAKOJI, Yohei MURAKAMI, Eris MCCREADY (Eds.), New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers)
-
Kumiyo NAKAKOJI, Yohei MURAKAMI, Eris MCCREADY (Eds.), New Frontiers in Artificial Intelligence (JSAI-isAI 2009 Workshops, Tokyo, Japan, November 2009, Selected Papers) LNAI 6284 161-180, 2010