Search results
From Termination-Portal.org
Jump to navigationJump to search
- author = {Dean Voets and Danny De Schreye},573 bytes (77 words) - 15:29, 5 July 2010
- author = {Dean Voets and Danny De Schreye},764 bytes (106 words) - 15:22, 5 July 2010
- |developers=Dean Voets and Danny De Schreye900 bytes (134 words) - 15:33, 5 July 2010
- * [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl], RWTH Aachen * [http://lim.univ-reunion.fr/staff/epayet/ Étienne Payet], Université de La Réunion7 KB (905 words) - 10:03, 16 April 2024
- * [http://www.eit.htwk-leipzig.de/fakultaet/professoren/visitenkarten/prof-geser Alfons Geser] (HTWK Leipzig) * [http://verify.rwth-aachen.de/giesl/ Jürgen Giesl] (RWTH Aachen)5 KB (703 words) - 11:58, 26 August 2013
- * Étienne Payet, Université de La Réunion ...competition should go to, and discussed at termtools<at>lists.rwth-aachen.de6 KB (886 words) - 15:59, 15 April 2024
- ...4/competition/20] . Demonstration results at [http://nfa.imn.htwk-leipzig.de/termcomp-2014/competition/23]. [[Termination Competition 2014 Questionnaire * Frederic Mesnard, Université de la Réunion, France6 KB (942 words) - 13:45, 11 October 2015
- * Frederic Mesnard, Université de la Réunion, France ...ompetition, send an email to terminationcompetitionsc<at>lists.rwth-aachen.de.7 KB (1,056 words) - 21:06, 5 September 2016
- will be affiliated with [http://conference.mi.fu-berlin.de/cade-25/ CADE-25]. * [http://nfa.imn.htwk-leipzig.de/termcomp-2015/competitions/4 Competition Categories] (at least two particip9 KB (1,240 words) - 11:55, 6 August 2015
- Ede ([http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 1997]), Dagstuhl ([http://verify.rwth-aachen.de/giesl/WST99.html 1999]),11 KB (1,420 words) - 17:02, 17 August 2023
