Skip to main navigation
Skip to search
Skip to main content
University of Hertfordshire (Research Profiles) Home
Home
Researchers
Research output
Projects
Research units
Search by expertise, name or affiliation
Product-free Lambek calculus is NP-complete
Yury Savateev
Department of Computer Science
School of Physics, Engineering & Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Product-free Lambek calculus is NP-complete'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
NP-complete
100%
Lambek Calculus
100%
Product-free
100%
Derivability
66%
Calculus
33%