New pages
From Termination-Portal.org
Jump to navigationJump to search- 10:14, 10 May 2024 Probabilistic Rewriting (hist) [999 bytes] JCKassing (talk | contribs) (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...") originally created as "Prob Rewriting"
- 10:08, 16 April 2024 C Complexity (hist) [823 bytes] Ffrohn (talk | contribs) (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 20th International Workshop on Termination (hist) [221 bytes] J.waldmann (talk | contribs) (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...")
