Search results

From Termination-Portal.org
Jump to navigationJump to search

Page title matches

  • News:Complexity Wiki Updated
    |text = The [[WST]] takes place in [http://en.wikipedia.org/wiki/Juneau Juneau] this year! ...he wiki for the complexity category has been thoroughly re-designed, see [[Complexity]]
    614 bytes (90 words) - 14:31, 22 June 2010

Page text matches

  • Termination Competition 2015
    [http://lists.lri.fr/pipermail/termtools/2015-August/001076.html Complexity Categories now running], and we will start complexity and others tomorrow (about 10 am CEST)
    9 KB (1,240 words) - 11:55, 6 August 2015
  • Termination and Complexity Competition 2016
    In 2016, the Termination and Complexity Competition <!-- ([http://lists.lri.fr/pipermail/termtools/2015-June/000984 The competition contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or
    7 KB (1,056 words) - 21:06, 5 September 2016
Retrieved from "http://termination-portal.org/wiki/Special:Search"