首页    期刊浏览 2024年09月18日 星期三
登录注册

文章基本信息

  • 标题:Decidability of Higher-order Matching
  • 本地全文:下载
  • 作者:Colin Stirling
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2009
  • 卷号:5
  • 期号:03
  • DOI:10.2168/LMCS-5(3:2)2009
  • 出版社:Technical University of Braunschweig
  • 摘要:

    We show that the higher-order matching problem is decidable using a game-theoretic argument.

国家哲学社会科学文献中心版权所有