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 条
  • [21] Multimodal surface matching with higher-order smoothness constraints
    Robinson, Emma C.
    Garcia, Kara
    Glasser, Matthew F.
    Chen, Zhengdao
    Coalson, Timothy S.
    Makropoulos, Antonios
    Bozek, Jelena
    Wright, Robert
    Schuh, Andreas
    Webster, Matthew
    Hutter, Jana
    Price, Anthony
    Grande, Lucilio Cordero
    Hughes, Emer
    Tusor, Nora
    Bayly, Philip V.
    Van Essen, David C.
    Smith, Stephen M.
    Edwards, A. David
    Hajnal, Joseph
    Jenkinson, Mark
    Glocker, Ben
    Rueckert, Daniel
    NEUROIMAGE, 2018, 167 : 453 - 465
  • [22] Higher-order matching polynomials and d-orthogonality
    Drake, Dan
    ADVANCES IN APPLIED MATHEMATICS, 2011, 46 (1-4) : 226 - 246
  • [23] Higher-Order Intentionality and Higher-Order Acquaintance
    Benj Hellie
    Philosophical Studies, 2007, 134 : 289 - 324
  • [24] GENERAL DECIDABILITY RESULTS FOR ASYNCHRONOUS SHARED-MEMORY PROGRAMS: HIGHER-ORDER AND BEYOND
    Majumdar, Rupak
    Thinniyam, Ramanathan S.
    Zetzsche, Georg
    LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 18 (04)
  • [25] Higher-order intentionality and higher-order acquaintance
    Hellie, Benj
    PHILOSOPHICAL STUDIES, 2007, 134 (03) : 289 - 324
  • [26] GENERAL DECIDABILITY RESULTS FOR ASYNCHRONOUS SHARED-MEMORY PROGRAMS: HIGHER-ORDER AND BEYOND
    Majumdar R.
    Thinniyam R.S.
    Zetzsche G.
    Logical Methods in Computer Science, 2022, 18 (04):
  • [27] HoMM: Higher-Order Moment Matching for Unsupervised Domain Adaptation
    Chen, Chao
    Fu, Zhihang
    Chen, Zhihong
    Jin, Sheng
    Cheng, Zhaowei
    Jin, Xinyu
    Hua, Xian-Sheng
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 3422 - 3429
  • [28] Higher-order pattern matching for automatically applying fusion transformations
    Sittampalam, G
    de Moor, O
    PROGRAMS AS DATA OBJECTS, PROCEEDINGS, 2001, 2053 : 218 - 237
  • [29] On even higher-order moments based on matching pursuit decomposition
    Ghofrani, S
    McLernon, DC
    Ayatollahi, A
    2004 7TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING PROCEEDINGS, VOLS 1-3, 2004, : 292 - 295
  • [30] A game-theoretic approach to deciding higher-order matching
    Stirling, Colin
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, 2006, 4052 : 348 - 359
12345