TALP

swMATH946MaRDI QIDQ13690FDOQ13690

Author name not available (Why is that?)

Cited In (4)

• Verifying termination and reduction properties about higher-order logic programs
• Formalizing Soundness and Completeness of Unravelings
• Mechanizing and improving dependency pairs
• Termination prediction for general logic programs

This page was built for software: TALP