Higher-order matching in the linear λ-calculus with pairing

被引：0
|
作者：
de Groote, P [1 ]
Salvati, S [1 ]
机构：
[1] INRIA, LORIA, UMR 7503, F-54506 Vandoeuvre Les Nancy, France
来源：
COMPUTER SCIENCE LOGIC, PROCEEDINGS | 2004年 / 3210卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We prove that higher-order matching in the linear A-calculus with pairing is decidable. We also establish its NP-completeness under the assumption that the right-hand side of the equation to be solved is given in normal form.
引用
收藏
页码：220 / 234
页数：15
相关论文
共 50 条
  • [1] On the complexity of higher-order matching in the linear λ-calculus
    Salvati, S
    de Groote, P
    [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 234 - 245
  • [2] On Bisimulation Theory in Linear Higher-Order π-Calculus
    Xu, Xian
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 244 - 274
  • [3] Higher-order matching in the linear lambda calculus in the absence of constants is NP-complete
    Yoshinaka, R
    [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 235 - 249
  • [4] Linear higher-order matching is NP-complete
    de Groote, P
    [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 127 - 140
  • [5] Linear-algebraic λ-calculus: Higher-order, encodings, and confluence
    Arrighi, Pablo
    Dowek, Gilles
    [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 17 - +
  • [6] Reversibility in the higher-order π-calculus
    Lanese, Ivan
    Mezzina, Claudio Antares
    Stefani, Jean-Bernard
    [J]. THEORETICAL COMPUTER SCIENCE, 2016, 625 : 25 - 84
  • [7] A Reflective Higher-order Calculus
    Meredith, L. G.
    Radestock, Matthias
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (05) : 49 - 67
  • [8] Higher-order lazy narrowing calculus: A solver for higher-order equations
    Ida, T
    Marin, M
    Suzuki, T
    [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
  • [9] QUADRUPOLE AND HIGHER-ORDER PAIRING FORCES
    PAL, KF
    ROWLEY, N
    NAGARAJAN, MA
    [J]. NUCLEAR PHYSICS A, 1987, 470 (02) : 285 - 308
  • [10] A Higher-Order Calculus of Computational Fields
    Audrito, Giorgio
    Viroli, Mirko
    Damiani, Ferruccio
    Pianini, Danilo
    Beal, Jacob
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2019, 20 (01)
12345