New pages
From Termination-Portal.org
Jump to navigationJump to search- 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...")