HIGHER-ORDER UNIFICATION WITH DEPENDENT FUNCTION TYPES

被引：0
|
作者：
ELLIOTT, CM
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 355卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：121 / 136
页数：16
相关论文
共 50 条
  • [31] Synthesis of rewrite programs by higher-order and semantic unification
    Hagiya, M.
    Algorithmic Learning Theory, 1990,
  • [32] Managing Structural Information by Higher-Order Colored Unification
    Dieter Hutter
    Michael Kohlhase
    Journal of Automated Reasoning, 2000, 25 : 123 - 164
  • [33] Unification of Higher-Order Dual Programs Over Cones
    Saini, S.
    Kailey, N.
    ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, 2024, 41 (06)
  • [34] Eliminating redundancy in higher-order unification: A lightweight approach
    Pientka, Brigitte
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 362 - 376
  • [35] Managing structural information by higher-order colored unification
    Hutter, Dieter, 1600, Kluwer Academic Publishers, Dordrecht, Netherlands (25):
  • [36] Managing structural information by higher-order colored unification
    Hutter, D
    Kohlhase, M
    JOURNAL OF AUTOMATED REASONING, 2000, 25 (02) : 123 - 164
  • [37] Unification of higher-order patterns in linear time and space
    Qian, Z
    JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (03) : 315 - 341
  • [38] HIGHER-ORDER DATA-TYPES
    MAIBAUM, TSE
    LUCENA, CJ
    INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (01): : 31 - 53
  • [39] Higher-order algebra with transfinite types
    Steggles, LJ
    HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 238 - 263
  • [40] Restricted higher-order anti-unification for analogy making
    Krumnack, Ulf
    Schwering, Angela
    Gust, Helmar
    Kiffinberger, Kai-Uwe
    AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 273 - 282
12345