Equational and Membership Constraints for Finite Trees.

Joachim Niehren Andreas Podelski Ralf Treinen

Published in: RTA (1993)

Keyphrases

equational theories
theorem proving
decision trees
constrained optimization
genetic algorithm
linear constraints
tree automata
databases
data structure
evolutionary algorithm
knowledge representation
constraint satisfaction
constraint programming
finite number