Pages that link to "Item:Q1367535"

The following pages link to Incremental constraint satisfaction for equational logic programming (Q1367535):

Displaying 4 items.

• A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
• Termination of narrowing revisited (Q1035697) (← links)
• A modular order-sorted equational generalization algorithm (Q2437800) (← links)
• Modular Termination of Basic Narrowing (Q3522005) (← links)