Login / Signup
A Verified Efficient Implementation of the Weighted Path Order.
René Thiemann
Elias Wenninger
Published in:
Arch. Formal Proofs (2023)
Keyphrases
</>
efficient implementation
general purpose
active set
hardware implementation
endpoints