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 条
  • [1] Lambek calculus is NP-complete
    Pentus, Mati
    THEORETICAL COMPUTER SCIENCE, 2006, 357 (1-3) : 186 - 201
  • [2] Product-free Lambek calculus is NP-complete
    Savateev, Yury
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 775 - 788
  • [3] Product-Free Lambek Calculus Is NP-Complete
    Savateev, Yury
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 380 - 394
  • [4] The Product-Free Lambek-Grishin Calculus Is NP-Complete
    Bransen, Jeroen
    LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, LACL 2011, 2011, 6736 : 49 - 63
  • [5] Powerful and NP-Complete: Hypergraph Lambek Grammars
    Pshenitsyn, Tikhon
    GRAPH TRANSFORMATION, ICGT 2021, 2021, 12741 : 102 - 121
  • [6] On simplified NP-complete variants of MONOTONE 3-SAT
    Darmann, Andreas
    Doecker, Janosch
    DISCRETE APPLIED MATHEMATICS, 2021, 292 : 45 - 58
  • [7] Hashiwokakero is NP-complete
    Andersson, Daniel
    INFORMATION PROCESSING LETTERS, 2009, 109 (19) : 1145 - 1146
  • [8] Minesweeper is NP-complete
    Richard Kaye
    The Mathematical Intelligencer, 2000, 22 : 9 - 15
  • [9] Shellability is NP-complete
    Goaoc, Xavier
    Patak, Pavel
    Patakova, Zuzana
    Tancer, Martin
    Wagner, Uli
    JOURNAL OF THE ACM, 2019, 66 (03)
  • [10] Rikudo is NP-complete
    Viet-Ha Nguyen
    Perrot, Kevin
    THEORETICAL COMPUTER SCIENCE, 2022, 910 : 34 - 47
12345