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 条

[21] MODULAR HIGHER-ORDER E-UNIFICATION
NIPKOW, T
QIAN, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 200 - 214
[22] Higher-order unification as a theorem proving procedure
Hagiya, Masami
Proceedings of the International Conference on Logic Programming, 1991,
[23] Nominal Unification from a Higher-Order Perspective
Levy, Jordi
Villaret, Mateu
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (02)
[24] Nominal unification from a higher-order perspective
Levy, Jordi
Villaret, Mateu
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 246 - +
[25] Undecidability of Higher-Order Unification Formalised in Coq
Spies, Simon
Forster, Yannick
CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 143 - 157
[26] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
Kobayashi, Naoki
ACM SIGPLAN NOTICES, 2009, 44 (01) : 416 - 428
[27] Functions-as-constructors higher-order unification: extended pattern unification
Libal, Tomer
Miller, Dale
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022, 90 (05) : 455 - 479
[28] Functions-as-constructors higher-order unification: extended pattern unification
Tomer Libal
Dale Miller
Annals of Mathematics and Artificial Intelligence, 2022, 90 : 455 - 479
[29] SYNTHESIS OF REWRITE PROGRAMS BY HIGHER-ORDER AND SEMANTIC UNIFICATION
HAGIYA, M
NEW GENERATION COMPUTING, 1990, 8 (04) : 403 - 420
[30] Extending higher-order unification to support proof irrelevance
Reed, J
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 238 - 252

← 1 2 3 4 5 →