Complexity Analysis for Term Rewriting by Integer Transition Systems.
Matthias NaafFlorian FrohnMarc BrockschmidtCarsten FuhsJürgen GieslPublished in: FroCoS (2017)
Keyphrases
- complexity analysis
- term rewriting
- transition systems
- theorem proving
- first order logic
- theorem prover
- model checking
- concurrent systems
- temporal logic
- operational semantics
- control flow
- finite state
- practical reasoning
- theoretical analysis
- lower bound
- computational complexity
- model checker
- reactive systems
- distributed systems
- data flow
- databases
- modal logic
- knowledge base
- formal specification
- probabilistic model
- inference rules
- autonomous agents