Lambek calculus proofs and tree automata (0)

by Hans-Jörg Tiede
Venue:In Moortgat [64