Runtime Complexity Analysis of Logically Constrained Rewriting.

Sarah Winkler Georg Moser

Published in: CoRR (2020)

Keyphrases

complexity analysis
theoretical analysis
lower bound
computational complexity
first order logic
rewrite rules
databases
real world
search engine
case study
image sequences
expert systems
hidden markov models
rewriting rules