Lambek calculus proofs and tree automata (2001)

Cached

Download Links

by Hans-joerg Tiede
Venue:Logical Aspects of Computational Linguistics Third International Conference, LACL '98, Selected Papers, volume 2014 of Lecture Notes in Artificial Intelligence
Citations:5 - 1 self