A mechanized translation from higher-order logic to set theory

 |  Alexander Krauss

In: Matt Kaufmann and Lawrence C. Paulson, editors, Interactive Theorem Proving (ITP 2010) (Alexander Krauss and Andreas Schopp) PDF

Alexander Krauss
A contribution from
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

More informations
Alexander
Chatbot
Schliessen