Contextual modal type theory
- 期刊名称ACM Transactions on Computational Logic
- 作者Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte
- 卷第9卷
- 期第3期
- 印刷ISSN1529-3785
- 文件大小296.04KB
- 发表时间2008-06-01
- DOI10.1145/1352582.1352591
- 页码1-49
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - Wikify!Mihalcea, Rada; Csomai, Andras · 2007
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - MapgraphEavis, Todd; Taleb, Ahmad · 2007
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - CTOLv, Jianming; Cheng, Xueqi · 2007
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - DivaLi, Tao; Anand, Sarabjot Singh · 2007
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - Web searchRaghavan, Prabhakar · 2007
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - ShineWang, Xuanhui; Sun, Jian-Tao; Chen, Zheng · 2007
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - Ntjfsat¬Garakani, Vahid; Izadi, Sayyed Kamyar; Haghjoo, Mostafa; Harizi, Mohammad · 2007
[ACM Press the sixteenth ACM conference - Lisbon, Portugal (2007.11.06-2007.11.10)] Proceedings of the sixteenth ACM conference on Conference on information and knowledge management - CIKM '07 - QuickmigDrumm, Christian; Schmitt, Matthias; Do, Hong-Hai; Rahm, Erhard · 2007