Author:
Blackburn Patrick,Meyer-Viol Wilfried
Reference22 articles.
1. R. Backofen, J. Rogers, and K. Vijay-Shanker. A first-order axiomatization of the theory of finite trees. Journal of Logic, Language and Information, 4:5–39, 1995.
2. C. Barker and G. Pullum. A theory of command relations. Linguistics and Philosophy, 13:1–34, 1990.
3. J. van Benthem and W. Meyer-Viol. Logical Semantics of Programming. Manuscript. Forthcoming.
4. Lecture Notes in Computer Science 1092;R Blackburn,1996
5. R Blackburn, C. Gardent, and W. Meyer-Viol. Talking about trees. In Proceedings of the 6th Conference of the European Chapter of the Association for Computational Linguistics, pages 21–29, 1993.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献