Pages that link to "Item:Q1367535"
From MaRDI portal
The following pages link to Incremental constraint satisfaction for equational logic programming (Q1367535):
Displaying 5 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)
- Incremental Linear Constraint Solving and Detection of Implicit Equalities (Q4015412) (← links)