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 2009Mraffels 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...