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