Login / Signup

A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems.

Lars NoschinskiFabian EmmesJürgen Giesl
Published in: CADE (2011)
Keyphrases
  • complexity analysis
  • term rewrite systems
  • theoretical analysis
  • pairwise
  • first order logic
  • multi dimensional