The monotone Lambek calculus is NP-complete

被引：0
|
作者：
Pentus, Mati [1 ]
机构：
[1] Moscow State University, Moscow, Russia
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8222卷
关键词：
11;
D O I：
10.1007/978-3-642-54789-8_20
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：368 / 380
相关论文
共 50 条
  • [21] TENSOR RANK IS NP-COMPLETE
    HASTAD, J
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 1990, 11 (04): : 644 - 654
  • [22] Generalized Pyramid is NP-Complete
    Iwamoto, Chuzo
    Matsui, Yuta
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2013, E96D (11) : 2462 - 2465
  • [23] DAG reversal is NP-complete
    Naumann, Uwe
    JOURNAL OF DISCRETE ALGORITHMS, 2009, 7 (04) : 402 - 410
  • [24] Properties of NP-complete sets
    Glasser, Christian
    Pavan, A.
    Selman, Alan L.
    Sengupta, Samik
    SIAM JOURNAL ON COMPUTING, 2006, 36 (02) : 516 - 542
  • [25] An NP-complete fragment of LTL
    Muscholl, A
    Walukiewicz, I
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2004, 3340 : 334 - 344
  • [26] NP-COMPLETE SCHEDULING PROBLEMS
    ULLMAN, JD
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 10 (03) : 384 - 393
  • [27] DECIDING FRATTINI IS NP-COMPLETE
    RYTER, CH
    SCHMID, J
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1994, 11 (03): : 257 - 279
  • [28] A survey of NP-complete puzzles
    Kendall, Grahain
    Parkes, Andrew
    Spoerer, Kristian
    ICGA JOURNAL, 2008, 31 (01) : 13 - 34
  • [29] Properties of NP-complete sets
    Glasser, C
    Pavan, A
    Selman, AL
    Sengupta, S
    19TH IEEE ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 2004, : 184 - 197
  • [30] CROSSING NUMBER IS NP-COMPLETE
    GAREY, MR
    JOHNSON, DS
    SIAM JOURNAL ON ALGEBRAIC AND DISCRETE METHODS, 1983, 4 (03): : 312 - 316
12345