scientific article; zbMATH DE number 1615245

MaRDI QIDQ2723909zbMATH OpenFDO

Authors Enno Ohlebusch, Claus Claves, Claude Marché

Publication date 8 July 2001

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Cited in

(4)

• TALP
• Formalizing soundness and completeness of unravelings
• Verifying termination and reduction properties about higher-order logic programs
• Mechanizing and improving dependency pairs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2723909)