Sciweavers

2 search results - page 1 / 1
» Product-Free Lambek Calculus Is NP-Complete
Sort
View
LFCS
2009
Springer
13 years 11 months ago
Product-Free Lambek Calculus Is NP-Complete
In this paper we prove that the derivability problems for productfree Lambek calculus and product-free Lambek calculus allowing empty premises are NP-complete. Also we introduce a...
Yury Savateev