Login / Signup
Elias Wenninger
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Multi Dimensional
Efficient Implementation
Active Set
Endpoints
Top Venues
CoRR
Arch. Formal Proofs
</>
Publications
</>
René Thiemann
,
Elias Wenninger
A Verified Efficient Implementation of the Weighted Path Order.
CoRR
(2023)
René Thiemann
,
Elias Wenninger
A Verified Efficient Implementation of the Weighted Path Order.
Arch. Formal Proofs
2023 (2023)