Author of the publication

Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.

, , and . GI-Jahrestagung, volume P-220 of LNI, page 153-156. GI, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Foreword., , and . Mathematics in Computer Science, 8 (1): 1-4 (2014)Budget Imbalance Criteria for Auctions: A Formalized Theorem., , and . CoRR, (2014)Using Theorema in the Formalization of Theoretical Economics., , and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 58-73. Springer, (2011)VCG - Combinatorial Vickrey-Clarke-Groves Auctions., , , and . Archive of Formal Proofs, (2015)An Introduction to Mechanized Reasoning., , and . CoRR, (2016)A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory., , , , , , and . MKM/Calculemus/DML, volume 7961 of Lecture Notes in Computer Science, page 200-215. Springer, (2013)Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts., , and . GI-Jahrestagung, volume P-220 of LNI, page 153-156. GI, (2013)Proving soundness of combinatorial Vickrey auctions and generating verified executable code., , , and . CoRR, (2013)The ForMaRE Project - Formal Mathematical Reasoning in Economics., , and . MKM/Calculemus/DML, volume 7961 of Lecture Notes in Computer Science, page 330-334. Springer, (2013)Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?, , , and . CICM, volume 8543 of Lecture Notes in Computer Science, page 236-251. Springer, (2014)