22. TPHOLs 2009:
Munich, Germany
Stefan Berghofer,
Tobias Nipkow,
Christian Urban,
Makarius Wenzel:
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Lecture Notes in Computer Science 5674,
Springer 2009, ISBN
978-3-642-03358-2
Stéphane Le Roux:
Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence. 293-309 Andreas Lochbihler:
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. 310-326
maintained by

, founded at
