Dominance constraints in stratified context unification

被引：1
|
作者：
Erk, Katrin
Niehren, Joachim [1 ]
机构：
[1] INRIA Futurs Lille, Lille, France
[2] Univ Texas, Dept Linguist, Austin, TX 78712 USA
来源：
INFORMATION PROCESSING LETTERS | 2007年 / 101卷 / 04期
关键词：
computational logics; trees; unification; formal languages;
D O I：
10.1016/j.ipl.2006.09.009
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码：141 / 147
页数：7
相关论文
共 50 条
  • [1] A decision algorithm for stratified context unification
    Schmidt-Schauss, M
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (06) : 929 - 953
  • [2] On rewrite constraints and context unification
    Niehren, J
    Tison, S
    Treinen, R
    [J]. INFORMATION PROCESSING LETTERS, 2000, 74 (1-2) : 35 - 40
  • [3] Stratified Context Unification is NP-complete
    Levy, Jordi
    Schmidt-Schauss, Manfred
    Villaret, Mateu
    [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 82 - 96
  • [4] On the complexity of Bounded Second-Order Unification and Stratified Context Unification
    Levy, Jordi
    Schmidt-Schauss, Manfred
    Villaret, Mateu
    [J]. LOGIC JOURNAL OF THE IGPL, 2011, 19 (06) : 763 - 789
  • [5] Deciding Context Unification (with Regular Constraints)
    Jez, Artur
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, DLT 2019, 2019, 11647 : 18 - 40
  • [6] Linear second-order unification and context unification with tree-regular constraints
    Levy, J
    Villaret, M
    [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 156 - 171
  • [7] FROM UNIFICATION TO CONSTRAINTS
    JAFFAR, J
    LASSEZ, JL
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 315 : 1 - 18
  • [8] Context unification with one context variable
    Gascon, Adria
    Godoy, Guillem
    Schmidt-Schauss, Manfred
    Tiwari, Ashish
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (02) : 173 - 193
  • [9] Deciding Context Unification
    Jez, Artur
    [J]. JOURNAL OF THE ACM, 2019, 66 (06)
  • [10] Context Unification is in PSPACE
    Jez, Artur
    [J]. AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 244 - 255
12345