Login / Signup
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting.
Friedrich Neurauter
Harald Zankl
Aart Middeldorp
Published in:
LPAR (Yogyakarta) (2010)
Keyphrases
</>
term rewriting
theorem prover
theorem proving
polynomial hierarchy
operational semantics
exponential size
singular value decomposition
vapnik chervonenkis dimension
rewrite systems
database
computational complexity
answer set programming
finite state
polynomial size
positive semidefinite