Login / Signup

Transforming Derivational Complexity of Term Rewriting to Runtime Complexity.

Carsten Fuhs
Published in: FroCos (2019)
Keyphrases
  • term rewriting
  • data sets
  • knowledge base
  • computational cost
  • probabilistic model
  • worst case
  • decision problems