Publisher
Springer Berlin Heidelberg
Reference58 articles.
1. Aho, A.: Indexed grammars: An extension of context-free grammars. Journal of the ACM 15(4), 647–671 (1968)
2. Andreoli, J.-M.: Logic programming with focussing proofs in linear logic. Journal of Logic and Computation 2(3) (1992)
3. Bar-Hillel, Y., Perles, M., Shamir, E.: On formal properties of simple phrase structure grammars. In: Bar-Hillel, Y. (ed.) Language and Information. Selected Essays on their Theory and Application, pp. 116–150. Addison-Wesley, New York (1964)
4. Bellin, G., van de Wiele, J.: Empires and kingdoms in MLL. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic, pp. 249–270. Cambridge University Press (1995)
5. Lecture Notes in Computer Science;R. Bernardi,2007
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Making first order linear logic a generating grammar;Logical Methods in Computer Science;2023-11-17
2. Multimodality in the Hypergraph Lambek Calculus;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Partial Orders, Residuation, and First-Order Linear Logic;Studies in Computational Intelligence;2021
4. Parsing/Theorem-Proving for Logical Grammar CatLog3;Journal of Logic, Language and Information;2019-01-18
5. Spurious Ambiguity and Focalization;Computational Linguistics;2018-06