Lambda_Free_RPOs Dependents

2024

Substitutions for Lambda-Free Higher-Order Terms

by Vincent Trélat

Apr 25

2020

A Comprehensive Framework for Saturation Theorem Proving

by Sophie Tourret

Apr 09

2019

An Algebra for Higher-Order Terms

by Lars Hupel

Jan 15

2018

A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover

by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel

Nov 23

Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms

by Alexander Bentkamp

Oct 19

2016

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

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

Nov 12