TALP
From MaRDI portal
Software:13690
No author found.
Related Items (4)
Verifying termination and reduction properties about higher-order logic programs ⋮ Mechanizing and improving dependency pairs ⋮ Formalizing Soundness and Completeness of Unravelings ⋮ Termination prediction for general logic programs
This page was built for software: TALP
