COMPACT FRAGMENT OF HIGHER-ORDER LOGIC

被引：0

作者：

MALITZ, J

RUBIN, M

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：190 / 190

页数：1

共 50 条

[1] Model checking the first-order fragment of higher-order fixpoint logic
Axelsson, Roland
Lange, Martin
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 62 - +
[2] ON HIGHER-ORDER LOGIC
KOGALOVS.SR
DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &
[3] HIGHER-ORDER LOGIC PROGRAMMING
MILLER, DA
NADATHUR, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
[4] CERES in higher-order logic
Hetzl, Stefan
Leitsch, Alexander
Weller, Daniel
ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
[5] HIGHER-ORDER LOGIC PROGRAMMING
MILLER, DA
NADATHUR, G
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
[6] Superposition for Higher-Order Logic
Alexander Bentkamp
Jasmin Blanchette
Sophie Tourret
Petar Vukmirović
Journal of Automated Reasoning, 2023, 67
[7] CONNECTIONS AND HIGHER-ORDER LOGIC
ANDREWS, PB
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
[8] Higher-order computational logic
Lloyd, JW
COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
[9] Superposition for Higher-Order Logic
Bentkamp, Alexander
Blanchette, Jasmin
Tourret, Sophie
Vukmirovic, Petar
JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
[10] Higher-Order Coalition Logic
Boella, Guido
Gabbay, Dov M.
Genovese, Valerio
van der Torre, Leendert
ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 555 - 560