Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference18 articles.
1. Abrusci Michele, (December 1991). ‘Phase semantics and sequent calculus for pure non-commutative classical linear logic’. Journal of Symbolic Logic 56(4):1403–1451
2. Béchet Denis, (1998). ‘Minimality of the correctness criterion for multiplicative proof nets’. Mathematical Structures in Computer Science 8:543–558
3. Béchet, Denis, ‘Incremental parsing of Lambek calculus using proof-net interfaces’, in ACL/SIGPARSE (ed.), Proceedings of the Eigth International Workshop on Parsing Technologies, Nancy, France, April 2003, INRIA, April 2003, pp. 31–42.
4. Buszkowski, Wojciech, ‘Lambek grammars based on pregroups’, in Philippe de Groote, Glyn Morill, and Christian Retoré (eds.), Logical aspects of computational linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 2001, volume 2099, Springer-Verlag, 2001.
5. Buszkowski, Wojciech, and Katarzyna Moroz, ‘PTIME transformation of pregroup grammar into cfg and pda’, 37th Poznań Linguistic Meeting (PLM), Poznań, 2006.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献