Search results
From Termination-Portal.org
Jump to navigationJump to search
- a few weeks/days before the presentation of results, at the discretion of the organizer, Akihisa Yamada.7 KB (1,068 words) - 09:25, 12 June 2020
- * Updates of Registered Tools: June 29, 2018 ...contains several categories for termination and complexity from the areas of term rewriting (all categories with HO/FO-TRSs, with- or without strategies7 KB (1,049 words) - 09:55, 12 June 2020
- * Two special medals go to the best two teams in advancing the state of the art. The final run and a presentation of the final results will be live at FLoC.8 KB (1,232 words) - 14:09, 7 November 2022
- Final [http://nfa.imn.htwk-leipzig.de/termcomp-2015/registered/Y2015 list of participants] ...ined results presentation may not work initially. That's why here's a list of jobs for individual categories (to be extended as we move forward)9 KB (1,240 words) - 11:55, 6 August 2015
- August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google As part of [http://cl-informatik.uibk.ac.at/events/osr-2023/ Obergurgl Summer on Rewri11 KB (1,420 words) - 17:02, 17 August 2023
