New pages
From Termination-Portal.org
Jump to navigationJump to search- 14:57, 15 January 2026 21st International Workshop on Termination (hist) [11,437 bytes] Ffrohn (talk | contribs) (Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop...")
