On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting.
Joachim NiehrenManfred PinkalPeter RuhrbergPublished in: CADE (1997)
Keyphrases
- function symbols
- logic programs
- contextual information
- higher order
- first order logic
- context sensitive
- constrained optimization
- constraint programming
- equational theories
- tree automata
- finite number
- theorem proving
- answer set programming
- decision trees
- constraint satisfaction
- context aware
- logic programming
- data structure