Lambda Free RPOs
From MaRDI portal
Software:40506
No author found.
Related Items (4)
Formalization of the resolution calculus for first-order logic ⋮ Unnamed Item ⋮ A Lambda-Free Higher-Order Recursive Path Order ⋮ Unnamed Item
This page was built for software: Lambda Free RPOs
