Login / Signup
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?.
Sophie Tison
Published 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