Higher-order recursive path ordering

被引：0

|

作者：

Universite de Paris Sud, Orsay, France ^{[1
]}

机构：

来源：

Proc Symp Logic Comput Sci | / 402-411期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

下载

收藏

相关论文

共 50 条

[21] Recursive Linearization of Higher-Order for Power System Models
Hernandez-Ortega, M. A.
Messina, A. R.
IEEE TRANSACTIONS ON POWER SYSTEMS, 2021, 36 (02) : 1206 - 1216
[22] RECURSIVE GENERATION OF HIGHER-ORDER TERMS IN THE MAGNUS EXPANSION
KLARSFELD, S
OTEO, JA
PHYSICAL REVIEW A, 1989, 39 (07): : 3270 - 3273
[23] A higher-order function approach to evolve recursive programs
Yu, T
GENETIC PROGRAMMING THEORY AND PRACTICE III, 2006, 9 : 93 - 108
[24] On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Kobayashi, Naoki
Dal Lago, Ugo
Grellois, Charles
2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
[25] THE PROVABLY RECURSIVE FUNCTIONS OF PREDICATIVE HIGHER-ORDER LOGICS
LEIVANT, D
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1448 - 1448
[26] ON THE TERMINATION PROBLEM FOR PROBABILISTIC HIGHER-ORDER RECURSIVE PROGRAMS
Kobayashi, Naoki
Dal Lago, Ugo
Grellois, Charles
LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (04) : 1 - 57
[27] HIGHER-ORDER PATH CURVATURE IN SPHERICAL KINEMATICS
YANG, AT
ROTH, B
JOURNAL OF ENGINEERING FOR INDUSTRY-TRANSACTIONS OF THE ASME, 1973, 95 (02): : 612 - 616
[28] Higher-order path orders based on computability
Kusakari, K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (02) : 352 - 359
[29] Model-Checking Higher-Order Programs with Recursive Types
Kobayashi, Naoki
Igarashi, Atsushi
PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 7792 : 431 - 450
[30] Partial and Nested Recursive Function Definitions in Higher-order Logic
Alexander Krauss
Journal of Automated Reasoning, 2010, 44 : 303 - 336

← 1 2 3 4 5 →