Tree Automata, (Dis-)Equality Constraints and Term Rewriting - What's New?
Sophie TisonPublished in: TLCA (2011)
Keyphrases
- term rewriting
- tree automata
- equality constraints
- theorem proving
- regular expressions
- theorem prover
- linear constraints
- finite automata
- quadratic programming problems
- finite state
- decomposition algorithm
- nonlinear programming
- constrained optimization problems
- complex valued
- operational semantics
- optimal solution
- context free grammars
- convex quadratic optimization
- inference rules
- xml schema
- pattern matching
- linear programming
- optimization problems
- evolutionary algorithm