Automated Runtime Complexity Analysis for Prolog by Term Rewriting

by Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl
Reference:
Automated Runtime Complexity Analysis for Prolog by Term Rewriting (Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl), Chapter in Proceedings of the 12th International Workshop on Termination (Georg Moser, ed.), University of Innsbruck, 2012.
Bibtex Entry:
@incollection{StroederEmmesSchneiderKampGiesl2012,
  author     = {Str"{o}der, Thomas and Emmes, Fabian and {Schneider-Kamp}, Peter and Giesl, J"{u}rgen},
  title      = {Automated Runtime Complexity Analysis for {Prolog} by Term Rewriting},
  booktitle  = {Proceedings of the 12th International Workshop on Termination},
  editor     = {Moser, Georg},
  year       = {2012},
  location   = {Obergurgl, Austria},
  pages      = {84--88},
  publisher  = {University of Innsbruck},
  address    = {Innsbruck, Austria}
}

Bookmark the permalink.