The following pages link to TALP (Q13690):
Displaying 4 items.
- Verifying termination and reduction properties about higher-order logic programs (Q850496) (← links)
- Mechanizing and improving dependency pairs (Q877836) (← links)
- Formalizing Soundness and Completeness of Unravelings (Q2964466) (← links)
- Termination prediction for general logic programs (Q3648357) (← links)