Proving Theorems of the Lambek calculus of order 2 in Polynomial Time

Open Access
Authors
  • H.M.F.M. Aarts
Publication date 1994
Journal Studia Logica
Volume | Issue number 53 | 3
Pages (from-to) 373-387
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Downloads
Permalink to this page
Back