Abstract
A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.
Original language | English |
---|---|
Pages (from-to) | 73-75 |
Journal | Moscow University Mathematics Bulletin |
Volume | 64 |
DOIs | |
Publication status | Published - 10 May 2009 |