Daniel Wand

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

by Heiko Becker 📧, Jasmin Christian Blanchette 📧, Uwe Waldmann 📧 and Daniel Wand 📧

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

by Jasmin Christian Blanchette 📧, Uwe Waldmann 📧 and Daniel Wand 📧