Proof Theory at Work: Complexity Analysis of Term Rewrite Systems
Georg MoserPublished in: CoRR (2009)
Keyphrases
- complexity analysis
- proof theory
- term rewrite systems
- default reasoning
- rewrite rules
- proof theoretic
- theoretical analysis
- automated reasoning
- lower bound
- first order logic
- computational complexity
- reasoning problems
- probabilistic reasoning
- default logic
- databases
- partial order
- np complete
- relational databases
- data streams