NATURAL DEDUCTION AS HIGHER-ORDER RESOLUTION

被引：53

作者：

PAULSON, LC ^{[1
]}

机构：

[1] UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE CB2 3QG,ENGLAND

来源：

JOURNAL OF LOGIC PROGRAMMING | 1986年 / 3卷 / 03期

关键词：

D O I：

10.1016/0743-1066(86)90015-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：237 / 258

页数：22

共 50 条

[31] Higher-Order Lagrangian Equations of Higher-Order Motive Mechanical System
ZHAO Hong-Xia MA Shan-Jun SHI Yong College of Physics and Communication Electronics
[J]. Communications in Theoretical Physics, 2008, 49 (02) : 479 - 481
[32] Calculation of higher-order moments by higher-order tensor renormalization group
Morita, Satoshi
Kawashima, Naoki
[J]. COMPUTER PHYSICS COMMUNICATIONS, 2019, 236 : 65 - 71
[33] Higher-order Lagrangian equations of higher-order motive mechanical system
Zhao Hong-Xia
Ma Shan-Jun
Shi Yong
[J]. COMMUNICATIONS IN THEORETICAL PHYSICS, 2008, 49 (02) : 479 - 481
[34] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
Kobayashi, Naoki
[J]. ACM SIGPLAN NOTICES, 2009, 44 (01) : 416 - 428
[35] HIGHER-ORDER MULTIPLE BIRTHS - NATURAL WONDER OR FAILURE OF THERAPY
GRUTZNERKONNECKE, H
GRUTZNER, P
GRUTZNER, B
GRUTZNER, U
SPALDINGGRUTZNER, A
SPALDING, P
[J]. ACTA GENETICAE MEDICAE ET GEMELLOLOGIAE, 1990, 39 (04): : 491 - 495
[36] HIGHER-ORDER EFFICIENCY CONDITIONS VIA HIGHER-ORDER TANGENT CONES
Do Van Luu
[J]. NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION, 2014, 35 (01) : 68 - 84
[37] Higher-Order Components Dictate Higher-Order Contagion Dynamics in Hypergraphs
Kim, Jung -Ho
Goh, K. -, I
[J]. PHYSICAL REVIEW LETTERS, 2024, 132 (08)
[38] OPTIMIZATION OF VIBRATING BEAMS WITH RESPECT TO HIGHER-ORDER NATURAL FREQUENCIES
OLHOFF, N
[J]. JOURNAL OF STRUCTURAL MECHANICS, 1976, 4 (01): : 87 - 122
[39] Higher-order lazy narrowing calculus: A solver for higher-order equations
Ida, T
Marin, M
Suzuki, T
[J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
[40] HIGHER-ORDER DIFFERENTIAL-EQUATIONS AND HIGHER-ORDER LAGRANGIAN MECHANICS
CRAMPIN, M
SARLET, W
CANTRIJN, F
[J]. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1986, 99 : 565 - 587

← 1 2 3 4 5 →