Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Andreoli, J.M.: Logic programming with focusing in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)
2. Synthese Language Library;D.R. Dowty,1981
3. Hendriks, H.: Studied flexibility. Categories and types in syntax and semantics. PhD thesis, Universiteit van Amsterdam, ILLC, Amsterdam (1993)
4. Hepple, M.: The Grammar and Processing of Order and Dependency. PhD thesis, University of Edinburgh (1990)
5. Hepple, M.: Normal form theorem proving for the Lambek calculus. In: Karlgren, H. (ed.) Proceedings of COLING, Stockholm (1990)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parsing/Theorem-Proving for Logical Grammar CatLog3;Journal of Logic, Language and Information;2019-01-18
2. Grammar logicised: relativisation;Linguistics and Philosophy;2017-02-08
3. Structural ambiguity in Montague Grammar and categorial grammar;The Linguistic Review;2015-01-01
4. Displacement logic for anaphora;Journal of Computer and System Sciences;2014-03
5. A Categorial Type Logic;Lecture Notes in Computer Science;2014