Daniel Wand

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 4

Top Topics

Lambda Calculus

Function Symbols

Theorem Proving

Top Venues

Arch. Formal Proofs

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. CADE (2017)
Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
A Lambda-Free Higher-Order Recursive Path Order. FoSSaCS (2017)
Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms. Arch. Formal Proofs 2016 (2016)
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms. Arch. Formal Proofs 2016 (2016)
Daniel Wand
Polymorphic+Typeclass Superposition. PAAR@IJCAR (2014)
Jasmin Christian Blanchette, Andrei Popescu, Daniel Wand, Christoph Weidenbach
More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification. ITP (2012)