TALP

swMATH946MaRDI QIDQ13690FDOQ13690

Author name not available (Why is that?)

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