Author:
Carpenter Bob,Penn Gerald
Reference21 articles.
1. Aït-Kaci, H. (1986a). An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45.
2. Aït-Kaci, H. and R. Nasr (1986) LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming 3.
3. Aït-Kaci, H. (1991) Warren’s Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge, Mass.
4. Carpenter, B. (1992) The Logic of Typed Feature Structures. Cambridge University Press.
5. Carpenter, B. and G. Penn (1994) ALE User’s Guide Version 2. 0. Laboratory for Computational Linguistics Technical Report, Carnegie Mellon University, Pittsburgh.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献