Higher-order recursive path ordering

被引：0
|
作者：
Universite de Paris Sud, Orsay, France [1 ]
机构：
来源：
Proc Symp Logic Comput Sci | / 402-411期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [1] Certified higher-order recursive path ordering
    Koprowski, Adam
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 227 - 241
  • [2] Coq formalization of the higher-order recursive path ordering
    Koprowski, Adam
    APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2009, 20 (5-6) : 379 - 425
  • [3] Coq formalization of the higher-order recursive path ordering
    Adam Koprowski
    Applicable Algebra in Engineering, Communication and Computing, 2009, 20 : 379 - 425
  • [4] The recursive path and polynomial ordering for first-order and higher-order terms
    Bofill, Miquel
    Borralleras, Cristina
    Rodriguez-Carbonell, Enric
    Rubio, Albert
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (01) : 263 - 305
  • [5] A Higher-Order Iterative Path Ordering
    Kop, Cynthia
    van Raamsdonk, Femke
    Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, 2008, 5330 : 697 - 711
  • [6] Rewrite orderings for higher-order terms in η-long β-normal form and the recursive path ordering
    Jouannaud, JP
    Rubio, A
    THEORETICAL COMPUTER SCIENCE, 1998, 208 (1-2) : 33 - 58
  • [7] Polymorphic higher-order recursive path orderings
    Jouannaud, Jean-Pierre
    Rubio, Albert
    JOURNAL OF THE ACM, 2007, 54 (01)
  • [8] A Lambda-Free Higher-Order Recursive Path Order
    Blanchette, Jasmin Christian
    Waldmann, Uwe
    Wand, Daniel
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2017), 2017, 10203 : 461 - 479
  • [9] Improved recursive decomposition ordering for higher-order rewrite systems
    Japan Advanced Inst of Science and, Technology, Ishikawa-ken, Japan
    IEICE Trans Inf Syst, 9 (988-994):
  • [10] An improved recursive decomposition ordering for higher-order rewrite systems
    Iwami, M
    Sakai, M
    Toyama, Y
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (09) : 988 - 996
12345