Towards efficient parsing with proof-nets
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Semantic bootstrapping of type-logical grammar
Journal of Logic, Language and Information
Grammar Induction by Unification of Type-logical Lexicons
Journal of Logic, Language and Information
Covert movement in logical grammar
Logic and grammar
Proof theory of Nelson's paraconsistent logic: A uniform perspective
Theoretical Computer Science
Hi-index | 0.00 |