Recognition of derivability for the Lambek calculus with one division

Yury Savateev

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Recognition of derivability for the Lambek calculus with one division'. Together they form a unique fingerprint.

Keyphrases

Computer Science