All public logs

From Termination-Portal.org

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).

(newest | oldest) View (newer 50 | older 50) (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

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)