Author:
Aiken Alexander,Kozen Dexter,Vardi Moshe,Wimmers Ed
Reference20 articles.
1. A. Aiken, D. Kozen, M. Vardi, and E. Wimmers, The complexity of set constraints. Technical Report 93-1352, Computer Science Department, Cornell University, May 1993.
2. A. Aiken, D. Kozen, and E. Wimmers. Decidability of systems of set constraints with negative constraints. Technical Report 93-1362, Computer Science Department, Cornell University, June 1993.
3. A. Aiken and B. Murphy. Implementing regular tree expressions. In Proc. 1991 Conf. Functional Programming Languages and Computer Architecture, pages 427–447, August 1991.
4. A. Aiken and B. Murphy. Static type inference in a dynamically typed language. In Proc. 18th Symp. Principles of Programming Languages, pages 279–290. ACM, January 1991.
5. A. Aiken and E. Wimmers. Solving systems of set constraints. In Proc. 7th Symp. Logic in Computer Science, pages 329–340. IEEE, June 1992.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献