Higher-order unification as a theorem proving procedure

被引：0

|

作者：

Hagiya, Masami

机构：

来源：

Proceedings of the International Conference on Logic Programming | 1991年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] 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
[42] Functions-as-constructors higher-order unification: extended pattern unification
Libal, Tomer
Miller, Dale
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022, 90 (05) : 455 - 479
[43] Functions-as-constructors higher-order unification: extended pattern unification
Tomer Libal
Dale Miller
Annals of Mathematics and Artificial Intelligence, 2022, 90 : 455 - 479
[44] Higher-order representation of Karamata theorem
Yang, Xi
Xiong, Qian
Peng, Zuoxiang
COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 2024, 53 (08) : 2744 - 2756
[45] Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
Klyuchnikov, Ilya
Romanenko, Sergei
PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 193 - 205
[46] The Luzin Theorem for Higher-Order Derivatives
Francos, Greg
MICHIGAN MATHEMATICAL JOURNAL, 2012, 61 (03) : 507 - 516
[47] HIGHER-ORDER VERSIONS OF NOETHERS THEOREM
BARBER, JS
HORNDESKI, GW
UTILITAS MATHEMATICA, 1989, 35 : 19 - 39
[48] ROLE OF UNIFICATION IN MECHANICAL THEOREM PROVING
SHOSTAK, RE
ACTA INFORMATICA, 1977, 7 (03) : 319 - 323
[49] A general formal memory framework for smart contracts verification based on higher-order logic theorem proving
Yang Z.
Lei H.
International Journal of Performability Engineering, 2019, 15 (11) : 2998 - 3007
[50] SPECIAL ISSUE ON HIGHER-ORDER LOGIC THEOREM-PROVING AND ITS APPLICATIONS .2. EDITORIAL
CLAESEN, L
GORDON, M
FORMAL METHODS IN SYSTEM DESIGN, 1994, 5 (1-2) : 5 - 5

← 1 2 3 4 5 →