user

Higher-order recursive path ordering

被引：0
|
作者：
Universite de Paris Sud, Orsay, France [1 ]
机构：
来源：
Proc Symp Logic Comput Sci | / 402-411期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Recursive higher-order constraints for linkages with lower kinematic pairs
    Mueller, Andreas
    MECHANISM AND MACHINE THEORY, 2016, 100 : 33 - 43
  • [32] Partial and Nested Recursive Function Definitions in Higher-order Logic
    Krauss, Alexander
    JOURNAL OF AUTOMATED REASONING, 2010, 44 (04) : 303 - 336
  • [33] On evolving of recursive functions using λ-abstraction and higher-order functions
    Dostal, Martin
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (05) : 515 - 524
  • [34] A higher-order formula of path interval for tool-path generation
    Obikawa T.
    Sekine T.
    International Journal of Automation Technology, 2011, 5 (05) : 663 - 668
  • [35] Higher-Order Conditioning and Dopamine: Charting a Path Forward
    Seitz, Benjamin M.
    Blaisdell, Aaron P.
    Sharpe, Melissa J.
    FRONTIERS IN BEHAVIORAL NEUROSCIENCE, 2021, 15
  • [36] The influence of higher-order structure on the synchronization path of the network
    Zuo, Binghua
    Dai, Lu
    Long, Yongshang
    Shen, Chuansheng
    Zhang, Yicheng
    CHAOS SOLITONS & FRACTALS, 2025, 193
  • [37] Higher-Order Intentionality and Higher-Order Acquaintance
    Benj Hellie
    Philosophical Studies, 2007, 134 : 289 - 324
  • [38] The Embedding Path Order for Lambda-Free Higher-Order Terms
    Bentkamp A.
    Journal of Applied Logics, 2021, 8 (10): : 2447 - 2470
  • [39] Higher-order intentionality and higher-order acquaintance
    Hellie, Benj
    PHILOSOPHICAL STUDIES, 2007, 134 (03) : 289 - 324
  • [40] THE EMBEDDING PATH ORDER FOR LAMBDA-FREE HIGHER-ORDER TERMS
    Bentkamp, Alexander
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (10): : 2447 - 2469
12345