Higher-order recursive path ordering

被引：0
|
作者：
Universite de Paris Sud, Orsay, France [1 ]
机构：
来源：
Proc Symp Logic Comput Sci | / 402-411期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [41] DESIGN OF DISCRETE STATIONARY RECURSIVE POLYNOMIAL FILTERS WITH A HIGHER-ORDER OF LAG
    ZOTIKOV, BD
    NEIFELD, AA
    AUTOMATION AND REMOTE CONTROL, 1986, 47 (12) : 1623 - 1632
  • [42] Inferring cost equations for recursive, polymorphic and higher-order functional programs
    Vasconcelos, PB
    Hammond, K
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2004, 3145 : 86 - 101
  • [43] PATH OF SUBTERMS ORDERING AND RECURSIVE DECOMPOSITION ORDERING REVISITED
    RUSINOWITCH, M
    JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) : 117 - 131
  • [44] Higher-Order Stabilized Perturbation for Recursive Eigen-Decomposition Estimation
    Mucchielli, Paul
    Bhowmik, Basuraj
    Hazra, Budhaditya
    Pakrashi, Vikram
    JOURNAL OF VIBRATION AND ACOUSTICS-TRANSACTIONS OF THE ASME, 2020, 142 (06):
  • [45] Dynamics and Solutions' Expressions of a Higher-Order Nonlinear Fractional Recursive Sequence
    Alshareef, Abeer
    Alzahrani, Faris
    Khan, Abdul Qadeer
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2021, 2021 (2021)
  • [46] Comparative precautionary saving under higher-order risk and recursive utility
    AJ A. Bostian
    Christoph Heinzel
    The Geneva Risk and Insurance Review, 2018, 43 : 95 - 114
  • [47] Comparative precautionary saving under higher-order risk and recursive utility
    Bostian, A. J. A.
    Heinzel, Christoph
    GENEVA RISK AND INSURANCE REVIEW, 2018, 43 (01): : 95 - 114
  • [48] Higher-order surfaces for collision detection in robot path planning
    Buschmann, A
    Frik, M
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1997, 77 : S63 - S64
  • [49] Measuring higher-order interferences with a five-path interferometer
    Kauten, Thomas
    Gschoesser, Benjamin
    Mai, Patrick
    Voeroes, Zoltan
    Weihs, Gregor
    2013 CONFERENCE ON LASERS AND ELECTRO-OPTICS EUROPE AND INTERNATIONAL QUANTUM ELECTRONICS CONFERENCE (CLEO EUROPE/IQEC), 2013,
  • [50] Gauge independence of the Lagrangian path integral in a higher-order formalism
    Batalin, IA
    Bering, K
    Damgaard, PH
    PHYSICS LETTERS B, 1996, 389 (04) : 673 - 676
12345