Automated Complexity Analysis for textsfProlog by Term Rewriting

by Thomas Ströder, Fabian Emmes, Jürgen Giesl, Peter Schneider-Kamp, Carsten Fuhs
Reference:
Automated Complexity Analysis for textsfProlog by Term Rewriting (Thomas Ströder, Fabian Emmes, Jürgen Giesl, Peter Schneider-Kamp, Carsten Fuhs), Technical report, RWTH Aachen, 2012.
Bibtex Entry:
@TechReport{StroederEmmesGieslSchneiderkampFuhs12,
  author      = "Thomas Str"oder and Fabian Emmes and J"urgen Giesl and Peter Schneider-Kamp and Carsten Fuhs",
  title       = "Automated Complexity Analysis for textsf{Prolog} by Term Rewriting",
  institution = "RWTH Aachen",
  keywords    = "complexity analysis, automated reasoning, logic programs, term rewriting",
  year        = "2012",
  number      = "AIB-2012-05",
  month       = mar,
  url         = "http://aib.informatik.rwth-aachen.de/2012/2012-05.ps.gz"
}

Bookmark the permalink.