Pages that link to "Item:Q4673545"

The following pages link to cTI: a constraint-based termination inference tool for ISO-Prolog (Q4673545):

Displaying 3 items.

• Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
• Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
• Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)