Linear Second-Order Unification and Context Unification with Tree-Regular Constraints.
Jordi LevyMateu VillaretPublished in: RTA (2000)
Keyphrases
- higher order
- function symbols
- linear constraints
- theorem proving
- contextual information
- linear inequalities
- equational theories
- context sensitive
- automated theorem proving
- neural network
- constraint graph
- theorem prover
- tree structure
- geometric constraints
- equality constraints
- tree structures
- objective function
- optimal solution
- tree construction
- linear space
- binary tree
- high order
- linear programming
- answer set programming
- constraint programming
- constraint satisfaction