Higher-order unification as a theorem proving procedure

被引：0

|

作者：

Hagiya, Masami

机构：

来源：

Proceedings of the International Conference on Logic Programming | 1991年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] Proving pointer programs in higher-order logic
Mehta, F
Nipkow, T
INFORMATION AND COMPUTATION, 2005, 199 (1-2) : 200 - 227
[32] HIGHER-ORDER CONSERVATION-LAWS AND A HIGHER-ORDER NOETHERS THEOREM
CHEUNG, WS
ADVANCES IN APPLIED MATHEMATICS, 1987, 8 (04) : 446 - 485
[33] Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving
Traytel, Dmitriy
Popescu, Andrei
Blanchette, Jasmin Christian
2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 596 - 605
[34] SPECIAL ISSUE ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS .1.
CLAESEN, L
GORDON, M
FORMAL METHODS IN SYSTEM DESIGN, 1993, 3 (1-2) : 5 - 5
[35] Linear higher-order pre-unification
Cervesato, I
Pfenning, F
12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 422 - 433
[36] HIGHER-ORDER UNIFICATION WITH DEPENDENT FUNCTION TYPES
ELLIOTT, CM
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 121 - 136
[37] AC-unification of higher-order patterns
Boudet, A
Contejean, E
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 97, 1997, 1330 : 267 - 281
[38] MODULAR HIGHER-ORDER E-UNIFICATION
NIPKOW, T
QIAN, Z
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 200 - 214
[39] Nominal Unification from a Higher-Order Perspective
Levy, Jordi
Villaret, Mateu
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (02)
[40] Nominal unification from a higher-order perspective
Levy, Jordi
Villaret, Mateu
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 246 - +

← 1 2 3 4 5 →