首页> 外文OA文献 >Higher-Order Functional Languages and Intensional Logic

【2h】

Higher-Order Functional Languages and Intensional Logic

机译：高阶功能语言和内涵逻辑

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
P. Rondogiannis; W. W. Wadge;
展开▼
作者单位

展开▼
年度 1993
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Higher-order functional languages and intensional logic [J] . P RONDOGIANNIS Journal of Functional Programming . 1999,第期

机译：高阶功能语言和内涵逻辑
2. Usage of Algorithms for the Analysis Natural Languages Texts Based on Intensional Logic of Montague in Area of Finding Answers on Questions [J] . Anatoliy Shvetcov, Denis Gorbunov Procedia Computer Science . 2017,第1期

机译：基于蒙塔古内涵逻辑的自然语言文本分析算法在问题解答中的应用
3. Efficient Intensional Implementation for Lazy Functional Languages [J] . Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Mathematics in Computer Science . 2008,第1期

机译：惰性函数语言的有效内涵实现
4. Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language [C] . Taro Suzuki, Koji Nakagawa, Tetsuo Ida International Workshop on Higher-Order Algebra, Logic, and Term Rewriting . 1997

机译：高阶懒惰缩小微积分：高阶功能逻辑语言的计算模型
5. Higher-order functional languages and intensional logic. [D] . Rondogiannis, Panagiotis. 1995

机译：高阶功能语言和内涵逻辑。
6. BH-CIFOL: Case-Intensional First Order Logic [O] . Nuel Belnap, Thomas Müller -1

机译：BH-CIFOL：区分大小写的一阶逻辑
7. First-Order Functional Languages and Intensional Logic [O] . P. Rondogiannis, W. W. Wadge 1996

机译：一阶函数语言和内涵逻辑
8. Practical Higher-Order Functional and Logic Programming Based on Lambda-Calculus and Set-Abstraction [R] . Silbermann, F. S., Jayaraman, B. 1988

机译：基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号