DECIDABILITY OF HIGHER-ORDER MATCHING

被引：4
|
作者：
Stirling, Colin [1 ]
机构：
[1] Univ Edinburgh, Sch Informat, Edinburgh EH8 9AB, Midlothian, Scotland
来源：
LOGICAL METHODS IN COMPUTER SCIENCE | 2009年 / 5卷 / 03期
关键词：
Games; higher-order matching; simply typed lambda calculus;
D O I：
10.2168/LMCS-5(3:2)2009
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We show that the higher-order matching problem is decidable using a game-theoretic argument.
引用
收藏
页数：52
相关论文
共 50 条
  • [1] Introduction to Decidability of Higher-Order Matching
    Stirling, Colin
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 1 - 1
  • [2] Decidability of arity-bounded higher-order matching
    Schmidt-Schauss, M
    AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 488 - 502
  • [3] Decidability of bounded higher-order unification
    Schmidt-Schauss, M
    Schulz, KU
    JOURNAL OF SYMBOLIC COMPUTATION, 2005, 40 (02) : 905 - 954
  • [4] Higher-order subtyping and its decidability
    Compagnoni, A
    INFORMATION AND COMPUTATION, 2004, 191 (01) : 41 - 103
  • [5] Decidability of bounded higher-order unification
    Schmidt-Schauss, M
    Schulz, KU
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 522 - 536
  • [6] On Decidability of the Bisimilarity on Higher-order Processes with Parameterization*
    Xu, Xian
    Zhang, Wenbo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 76 - 92
  • [7] Decidability of higher-order subtyping with intersection types
    Compagnoni, AB
    COMPUTER SCIENCE LOGIC, 1995, 933 : 46 - 60
  • [8] On the expressiveness and decidability of higher-order process calculi
    Lanese, Ivan
    Perez, Jorge A.
    Sangiorgi, Davide
    Schmitt, Alan
    TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 145 - +
  • [9] On the expressiveness and decidability of higher-order process calculi
    Lanese, Ivan
    Perez, Jorge A.
    Sangiorgi, Davide
    Schmitt, Alan
    INFORMATION AND COMPUTATION, 2011, 209 (02) : 198 - 226
  • [10] Higher-Order Concurrency: Expressiveness and Decidability Results - A Survey
    Aceto, Luca
    Perez, Jorge A.
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2010, (101): : 92 - 124
12345