All public logs
From Termination-Portal.org
Jump to navigationJump to searchCombined 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).
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)- 08:14, 13 May 2024 JCKassing talk contribs moved page Prob Rewriting to Probabilistic Rewriting (Change of title)
- 10:14, 10 May 2024 JCKassing talk contribs created page Prob Rewriting (Created page with "== General == As in the non-probabilistic setting, we use an adaption of the [https://project-coco.uibk.ac.at/ARI/ ARI format], so probabilistic TRSs (PTRSs) are represented...")
- 15:37, 6 May 2024 User account JCKassing talk contribs was created by Ffrohn talk contribs
- 15:20, 6 May 2024 User account Kassing talk contribs was created by Ffrohn talk contribs and password was sent by email
- 10:08, 16 April 2024 Ffrohn talk contribs created page C Complexity (Created page with "We consider the C-fragment from the category Termination of C Programs, but in contrast to the termination category, the starting point should be stated explici...")
- 17:47, 31 January 2024 J.waldmann talk contribs created page 20th International Workshop on Termination (Created page with "The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma...")
- 13:35, 16 January 2024 Ffrohn talk contribs created page Termination Competition 2024 (Created page with "The Termination and Complexity Competition (termCOMP) 2024 will be affiliated with IJCAR 2023. The competition will be run on the [http://www.starexec.org/ Star...")
- 10:28, 15 May 2023 Akihisa Yamada talk contribs created page Termination Competition 2023 (Created page with "The Termination and Complexity Competition (termCOMP) 2023 will be affiliated with WST 2023. The competition will be run on the [http://www.starexec.org/ StarExec...")
- 01:14, 10 April 2023 Akihisa Yamada talk contribs created page WST2023 (Redirected page to 19th International Workshop on Termination) Tag: New redirect
- 01:37, 16 January 2023 Akihisa Yamada talk contribs created page 19th International Workshop on Termination (Created page with "==Background== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this int...")
- 10:56, 30 May 2022 Akihisa Yamada talk contribs created page Termination Competition 2022 (Created page with "The Termination and Complexity Competition (termCOMP) 2022 will be affiliated to [https://easychair.org/smart-program/FLoC2022/IJCAR-index.html IJCAR 2022] and takes part in [...")
- 18:27, 20 December 2020 Ffrohn talk contribs created page News:Termination Competition 2021 (Created page with "{{News |text=The Termination Competition 2021 will be affiliated with CADE. |date=December, 2020 }}")
- 18:20, 20 December 2020 Ffrohn talk contribs created page Termination Competition 2021 (Created page with "In 2021, the Termination and Complexity Competition will be affiliated with [http://www.cs.cmu.edu/~mheule/CADE28/ CADE]. The competition will be run on the [http://www.stare...")
- 13:34, 6 November 2019 Giesl talk contribs changed group membership for Davidkor from (none) to administrator and bureaucrat (David will move the web pages to Github.)
- 12:03, 3 July 2019 User account Davidkor talk contribs was created by Giesl talk contribs
- 08:58, 14 October 2018 Ffrohn talk contribs changed group membership for Giesl from bureaucrat and steering to bureaucrat, steering and administrator
- 12:27, 20 August 2017 User account Epayet talk contribs was created by Fuhs talk contribs
- 21:09, 7 August 2017 User account Christoph Walther talk contribs was created by Giesl talk contribs
- 12:48, 7 July 2016 Thiemann talk contribs moved page Termination Competition 2016 to Termination and Complexity Competition 2016
- 11:58, 2 May 2016 Thiemann talk contribs moved page News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps (corrected date of WST 2016)
- 09:08, 23 July 2015 User account Akihisa Yamada talk contribs was created by Giesl talk contribs
- 21:51, 30 June 2015 User account Sabel talk contribs was created by Giesl talk contribs
- 08:41, 29 July 2014 J.waldmann talk contribs moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire
- 10:33, 12 June 2014 J.waldmann talk contribs moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration
- 08:28, 20 May 2014 User account Albert talk contribs was created by Giesl talk contribs
- 14:39, 4 March 2014 C-Otto talk contribs changed group membership for Ffrohn from (none) to administrator, bureaucrat and steering
- 14:18, 4 March 2014 User account Ffrohn talk contribs was created by Fuhs talk contribs
- 12:21, 3 June 2013 C-Otto talk contribs blocked Flowgenerator talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled) (Inserting nonsense/gibberish into pages)
- 08:25, 30 May 2013 C-Otto talk contribs protected Help:Contents [create=sysop] (indefinite) (hist)
- 08:25, 30 May 2013 C-Otto talk contribs deleted page Help:Contents (content was: " FlowGenerator a general purpose semantic language The classical problem programmers' face is whether or not, the intent of their programs has been ..." (and the only contributor was "Flowgenerator"))
- 19:13, 29 May 2013 User account Flowgenerator talk contribs was created by C-Otto talk contribs
- 07:20, 11 March 2013 C-Otto talk contribs deleted page News:News Captionxxxxxxxxxxxxxx (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 09:00, 27 June 2012 C-Otto talk contribs deleted page News:News Captionfsdf (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 08:57, 27 June 2012 C-Otto talk contribs deleted page News:News Captionx (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 08:57, 27 June 2012 C-Otto talk contribs deleted page News:YetAnotherTest (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 20:16, 26 June 2012 C-Otto talk contribs deleted page News:YetAnotherTest (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 20:16, 26 June 2012 C-Otto talk contribs deleted page News:Another Test (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 14:52, 26 June 2012 C-Otto talk contribs deleted page News:Test (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 07:27, 29 November 2011 C-Otto talk contribs deleted page Bibtex:Identifier (Author request: content was: " <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below th..." (and the only contributor was "[[Special:Contributions/C)
- 21:37, 7 November 2011 User account Hezzel talk contribs was created by Fuhs talk contribs
- 14:34, 11 April 2011 User account Mmjb talk contribs was created by C-Otto talk contribs
- 14:08, 11 April 2011 User account Cryingshadow talk contribs was created by C-Otto talk contribs
- 08:59, 25 May 2010 C-Otto talk contribs deleted page Complexity:PageProposal (Author request)
- 08:34, 25 May 2010 Georg.moser talk contribs moved page Complexity to Complexity:Old
- 12:46, 9 April 2010 Griff talk contribs moved page Tools:Tool Cime to Tools:Cime (redundant naming)
- 14:43, 21 December 2009 C-Otto talk contribs moved page ITRS to Integer Term Rewriting
- 14:42, 21 December 2009 C-Otto talk contribs moved page Higher Order to Higher Order Rewriting
- 12:52, 24 June 2009 C-Otto talk contribs deleted page Help:Editing (content was: '#REDIRECT http://en.wikipedia.org/wiki/Help:Editing' (and the only contributor was 'C-Otto'))
- 12:15, 23 June 2009 C-Otto talk contribs protected Template:Person ([edit=sysop:move=sysop]) (hist)
- 11:36, 19 May 2009 Rgutierrez talk contribs moved page Tools:MuTerm to Tools:MU-TERM
- 13:43, 14 May 2009 C-Otto talk contribs protected People:Firstname Lastname (Please enter your real name. [create=sysop]) (hist)
- 13:43, 14 May 2009 C-Otto talk contribs deleted page People:Firstname Lastname (content was: '<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that...' (and the only contributor was 'Polytool'))
- 16:47, 13 May 2009 C-Otto talk contribs protected Template:Tool ([edit=sysop:move=sysop]) (hist)
- 11:48, 10 April 2009 C-Otto talk contribs deleted page TODO (content was: '= TODO = * we should fill in some text for the "About" and "Disclaimers" links (bottom of each page). E.g. how to reach an administrator. * please check t...' (and the only contributor was 'J.waldmann'))
- 22:25, 23 February 2009 C-Otto talk contribs changed group membership for Fab from (none) to bureaucrat
- 09:21, 3 November 2008 Nowonder talk contribs changed group membership for Hzantema from (none) to steering
- 07:43, 2 November 2008 Nowonder talk contribs changed group membership for J.waldmann from (none) to steering
- 07:42, 2 November 2008 Nowonder talk contribs changed group membership for Pons from (none) to steering
- 07:42, 2 November 2008 Nowonder talk contribs changed group membership for Ami from (none) to steering
- 07:41, 2 November 2008 Nowonder talk contribs changed group membership for Slucas from (none) to steering
- 07:41, 2 November 2008 Nowonder talk contribs changed group membership for Hofbauer from (none) to steering
- 07:41, 2 November 2008 Nowonder talk contribs changed group membership for Giesl from bureaucrat to bureaucrat and steering
- 07:40, 2 November 2008 Nowonder talk contribs changed group membership for Joerg from (none) to steering
- 07:38, 2 November 2008 Nowonder talk contribs changed group membership for Nowonder from bureaucrat, steering and administrator to bureaucrat and administrator
- 07:38, 2 November 2008 Nowonder talk contribs changed group membership for Nowonder from bureaucrat and administrator to bureaucrat, administrator and steering
- 16:20, 20 October 2008 C-Otto talk contribs deleted page News:Complexity (Double entry)
- 11:18, 20 October 2008 J.waldmann talk contribs moved page Wrong title complexity to News:Complexity
- 11:17, 20 October 2008 J.waldmann talk contribs moved page News:News Caption to Wrong title complexity
- 09:51, 19 May 2008 Rgutierrez talk contribs moved page Tools:?-Term to Tools:MuTerm over redirect
- 09:51, 19 May 2008 Rgutierrez talk contribs moved page Tools:MuTerm to Tools:Μ-Term
- 14:18, 17 May 2008 Griff talk contribs moved page Handling SCCs to Handling DG and SCCs
- 20:56, 2 May 2008 C-Otto talk contribs deleted page People:Firstname Lastname (content was: '#REDIRECT People:Raúl Gutiérrez' (and the only contributor was 'Rgutierrez'))
- 16:21, 30 April 2008 Admin talk contribs changed group membership for Fuhs from (none) to bureaucrat
- 16:21, 30 April 2008 Admin talk contribs changed group membership for Nowonder from (none) to administrator and bureaucrat
- 16:20, 30 April 2008 Admin talk contribs changed group membership for Giesl from (none) to bureaucrat
- 16:20, 30 April 2008 Admin talk contribs changed group membership for Swiste from (none) to bureaucrat
- 16:19, 30 April 2008 Admin talk contribs changed group membership for C-Otto from (none) to administrator and bureaucrat
- 11:49, 24 April 2008 Rgutierrez talk contribs moved page People:Firstname Lastname to People:Raúl Gutiérrez (Wrong name)
- 12:07, 9 April 2008 Admin talk contribs deleted page Termination-Portal.org:Impressum (content was: '#REDIRECT Termination-Portal.org:About' (and the only contributor was 'Admin'))
- 12:07, 9 April 2008 Admin talk contribs moved page Termination-Portal.org:Impressum to Termination-Portal.org:About over redirect
- 12:06, 9 April 2008 Admin talk contribs moved page Termination-Portal.org:General disclaimer to Termination-Portal.org:Impressum
- 11:24, 9 April 2008 Admin talk contribs protected Termination-Portal.org:General disclaimer ([edit=sysop:move=sysop]) (hist)
- 10:57, 2 April 2008 Admin talk contribs deleted page News:WST in Juneau (content was: '<!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ... Please add some...')
- 11:51, 31 March 2008 J.waldmann talk contribs moved page News:What domain name? to What domain name?
- 14:28, 30 March 2008 Admin talk contribs deleted page People:Firstname Lastname (content was: '#REDIRECT People:Frederic Blanqui' (and the only contributor was 'Admin'))
- 13:45, 30 March 2008 Admin talk contribs moved page Tools:Tool Name to Tools:Rainbow
- 13:42, 30 March 2008 Admin talk contribs moved page People:Firstname Lastname to People:Frederic Blanqui
- 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'))
- 21:11, 29 March 2008 Admin talk contribs deleted page News:Another Entry (content was: '<!-- Please insert the corresponding information below so that the news page can be generated automatically. --> {{News |caption=caption |text=texttexttext |...' (and the only contributor was 'C-Otto'))
- 21:11, 29 March 2008 Admin talk contribs deleted page News:Third Entry (content was: '<!-- Please insert the corresponding information below so that the news page can be generated automatically. --> {{News |caption=Just a dummy. |text=Some text....' (and the only contributor was 'Admin'))
- 19:00, 29 March 2008 Admin talk contribs deleted page News:Test Entry (content was: '<!-- Please insert the corresponding information below so that the news page can be generated automatically. --> {{News |caption=Caption caption caption.i |tex...' (and the only contributor was 'Admin'))
- 18:59, 29 March 2008 Admin talk contribs deleted page Template:NiceTable (content was: '{{#if:{{{1|}}}| {{!-}} style="{{{os|}}}" {{{1|}}} }} {{{{#if:{{{1|}}}|1x|void}}| }}{{#if:{{{2|}}}| {{!-}} style="{{#ifexpr: ({{ #ifeq: {{{1}}} || 0 | 1 }} ) mod 2 = 0...' (and the only contributor was 'Admin'))
- 17:10, 29 March 2008 Admin talk contribs deleted page Bibtex:SGST06 (content was: '<!-- Please fill in the data so that the reference can be added to some default categories and a simple BibTeX page can be created. You may extend that BibTeX page yourself after the following code block. --> <bibte...')
- 17:08, 29 March 2008 Admin talk contribs deleted page Template:Reference (content was: '= {{{identifier}}} = <includeonly> <bibtex> {{{bibtex}}} </bibtex> {{{$PAGENAME}}} </includeonly>' (and the only contributor was 'Admin'))
- 13:40, 29 March 2008 Admin talk contribs deleted page Competition (content was: '#REDIRECT Termination Competition' (and the only contributor was 'Admin'))
- 13:38, 29 March 2008 Admin talk contribs moved page Main Page to Termination Portal
- 13:36, 29 March 2008 Admin talk contribs moved page Competition to Termination Competition
- 20:52, 26 March 2008 Admin talk contribs deleted page News:Capitals (content was: 'xxxxxxx' (and the only contributor was 'Admin'))
- 20:52, 26 March 2008 Admin talk contribs deleted page News:Testnews (content was: 'Testnewsbeitrag.' (and the only contributor was 'Admin'))
- 20:52, 26 March 2008 Admin talk contribs deleted page Test (content was: 'x Category:News' (and the only contributor was 'Admin'))