Daniel Wand

According to our database, Daniel Wand authored at least 7 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Superposition: Types and Induction. (Superposition : types et induction).

Daniel Wand

PhD thesis, 2017

A Lambda-Free Higher-Order Recursive Path Order.

Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Proceedings of the Foundations of Software Science and Computation Structures, 2017

A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.

Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms.

Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Arch. Formal Proofs, 2016

Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms.

Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Arch. Formal Proofs, 2016

2014

Polymorphic+Typeclass Superposition.

Daniel Wand

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

2012

More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification.

Jasmin Christian Blanchette, Andrei Popescu, Daniel Wand, Christoph Weidenbach

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012