Current Research
Topics
- term rewriting
- saturation-based theorem proving
- transitivity, equality, first-order theorem proving, redundancy and simplification,
algebraic refinements
- decidable fragments of first-order logic
- constraint logics, word problems, decision procedures, complexity
- automated complexity analysis
- meta-complexity theorems, logic programming with guaranteed complexity,
complexity analysis through saturation
On to Publications Part of Harald Ganzinger's Home Page
Impressum
March 4, 2003