Author:
Choppella Venkatesh,Haynes Christopher T.
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Baader, F., Siekmann, J.: Unification theory. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programmaning. Oxford University Press, Oxford (1993)
2. Barrett, C., Jakob, R., Marathe, M.: Formal language constraint path problems. SIAM Journal of Computing 30, 809–837 (2000)
3. Beaven, M., Stansifer, R.: Explaining type errors in polymorphic languages. ACM Letters on Programming Languages (1994)
4. Lecture Notes in Computer Science;Y. Bertot,1992
5. Chen, T.Y., Lassez, J.-L., Port, G.S.: Maximal unifiable subsets and minimal non-unifiable subsets. New Generation Computing, 133–152 (1986)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献