Revision history of "21st International Workshop on Termination"

From Termination-Portal.org
Jump to navigationJump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 14:57, 15 January 2026‎ Ffrohn talk contribs‎ 11,437 bytes +11,437‎ 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..."
Retrieved from "http://termination-portal.org/wiki/21st_International_Workshop_on_Termination"