Revision history of "Bibtex:RZ09"

From Termination-Portal.org
Jump to navigationJump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 14:37, 18 May 2009‎ Mraffels talk contribs‎ 792 bytes +792‎ New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @inproceedings{RZ09, title = "A Transformational Approach to Prove Outermost Termination...
Retrieved from "http://termination-portal.org/wiki/Bibtex:RZ09"