24 citations · 43 across the 16 of their papers we have counts for
1 paper · 2 filters
Marco B. Caminati, Manfred Kerber, Christoph Lange +1
When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004…