Author:
Caminati Marco B.,Kerber Manfred,Lange Christoph,Rowat Colin
Publisher
Springer International Publishing
Reference16 articles.
1. Bergman, C.: Universal Algebra: Fundamentals and Selected Topics. Chapman & Hall Pure and Applied Mathematics. Taylor & Francis (2011)
2. Blanchette, J.C., Paulson, L.C.: Hammering Away. A User’s Guide to Sledgehammer for Isabelle/HOL (December 5, 2013),
http://isabelle.in.tum.de/dist/Isabelle2013-2/doc/sledgehammer.pdf
3. Bowen, J., Gordon, M.: Z and HOL. In: Z User Workshop, Cambridge 1994, pp. 141–167. Springer (1994)
4. Caminati, M.B., et al.: Proving soundness of combinatorial Vickrey auctions and generating verified executable code, arXiv:1308.1779 [cs.GT] (2013)
5. Lecture Notes in Computer Science;F. Haftmann,2010
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal microeconomic foundations and the first welfare theorem;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08
2. Formal microeconomic foundations and the first welfare theorem;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018