Jump to content

Main public logs

Combined display of all available logs of Termination-Portal.org. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
  • 10:18, 30 March 2008 Admin talk contribs deleted page Bibtex:Test08 (content was: '<bibtex> <!-- Please add the BibTeX data below this comment. --> @article{Ohlebusch01, AUTHOR = {E. Ohlebusch}, TITLE = {Termination of Logic Programs: T...' (and the only contributor was 'C-Otto'))