Wolfgang Windsteiger

Identifiers

• name variant Wolfgang Windsteiger 0.60 · backfill

Papers (1)

1. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory cs.LO · 2013 · author #7

Mentions

• 1303.4193 #7 · backfill · confidence 0.70 Wolfgang Windsteiger

Frequent Coauthors

• Christoph Lange 1 shared papers
• Colin Rowat 1 shared papers
• Makarius Wenzel 1 shared papers
• Manfred Kerber 1 shared papers
• Marco B. Caminati 1 shared papers
• Till Mossakowski 1 shared papers