TALP

MaRDI QIDQ13690swMATHFDO

Official website http://www.lsi.upc.edu/~wst03/abs/sys8-talp.pdf

Cited in

(7)

• Formalizing soundness and completeness of unravelings
• Verifying termination and reduction properties about higher-order logic programs
• TPA
• Conditional Confluence
• ConCon
• Mechanizing and improving dependency pairs
• Termination prediction for general logic programs

This page was built for software: TALP