Author:
Wisniewski Max,Steen Alexander,Benzmüller Christoph
Publisher
Springer International Publishing
Reference25 articles.
1. Abadi, M., Cardelli, L., Curien, P.-L., Levy, J.-J.: Explicit substitutions. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 31–46, ACM, New York (1990)
2. Arrow, K.J.: Social Choice and Individual Values. Wiley, New York (1951)
3. Barendregt, H.P.: Introduction to generalized type systems. J. of Funct. Program. 1(2), 125–154 (1991)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);CE Benzmüller,1998
5. Benzmüller, C., Sorge, V.: OANTS - combining interactive and automated theorem proving. In: Kerber, M., Kohlhase, M. (eds.) Symbolic Computation and Automated Reasoning, pp. 81–97. A.K.Peters, Massachusetts (2001)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献