Search results

Page title matches

• People:René Thiemann
  |lastname=Thiemann |homepage=http://cl-informatik.uibk.ac.at/~thiemann/
  634 bytes (96 words) - 14:17, 10 April 2008

Page text matches

• WScT08-Program
  * 05/17/08, 10:30 — René Thiemann, [http://cl-informatik.uibk.ac.at/~thiemann/talks/leipzig08RT.pdf slides] ...oveToRainbow.xsl translator to Rainbow], [http://cl-informatik.uibk.ac.at/~thiemann/xml/proof.xml example proof]
  920 bytes (118 words) - 13:32, 2 June 2008
• Tools:IsaFoR
  ...:Christian Sternagel|Christian Sternagel]] and [[People:René Thiemann|René Thiemann]]
  689 bytes (101 words) - 12:44, 9 April 2010
• Tools:AProVE
  |developers=[[People:Jürgen Giesl|Jürgen Giesl]], [[People:René Thiemann|René Thiemann]], [[People:Peter Schneider-Kamp|Peter Schneider-Kamp]], [[People:Stephan S
  904 bytes (127 words) - 20:25, 25 May 2014
• Bibtex:Giesl04
  author = {Jürgen Giesl and René Thiemann and Peter Schneider-kamp and Stephan Falke},
  578 bytes (73 words) - 17:25, 13 May 2009
• Bibtex:GST06
  author = "J. Giesl and P. Schneider-Kamp and R. Thiemann",
  658 bytes (82 words) - 20:55, 13 May 2009
• Bibtex:GSST06
  author = "J. Giesl and S. Swiderski and P. Schneider-Kamp and R. Thiemann",
  685 bytes (87 words) - 06:23, 8 April 2008
• People:René Thiemann
  |lastname=Thiemann |homepage=http://cl-informatik.uibk.ac.at/~thiemann/
  634 bytes (96 words) - 14:17, 10 April 2008
• Bibtex:SGST06
  AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
  696 bytes (91 words) - 18:44, 31 March 2008
• Bibtex:FGMSTZ07
  author = {C. Fuhs and J. Giesl and A. Middeldorp and R. Thiemann and P. {Schneider-Kamp} and H. Zankl},
  777 bytes (104 words) - 18:44, 31 March 2008
• Bibtex:TS09
  author = "R. Thiemann and C. Sternagel",
  611 bytes (76 words) - 09:54, 29 September 2009
• Outermost
  * René Thiemann: * René Thiemann suggests:
  4 KB (635 words) - 17:27, 25 November 2008
• Bibtex:AProVE14
  Thiemann, Ren\'e},
  1 KB (110 words) - 07:55, 29 July 2014
• WScT08-Registration
  * René Thiemann, topics (presented in combination with Simon) ...that have to be fixed by the community ([http://cl-informatik.uibk.ac.at/~thiemann/talks/leipzig08RT.pdf Presentation], [http://dev.aspsimon.org/workspace/pro
  2 KB (273 words) - 13:33, 2 June 2008
• TC SC Meeting WST09
  * there shall be a competition in November 2009. Rene Thiemann and Olivier Pons will work out a proposal for selecting benchmarks of probl
  2 KB (280 words) - 12:31, 5 June 2009
• Termination Competition 2016 Registration
  Make that space readable for (at least) R. Thiemann and J. Waldmann. The earlier, the better - so I can start running tests.
  1 KB (202 words) - 01:31, 5 September 2016
• Termination Competition 2017 Registration
  Make that space readable for (at least) R. Thiemann and J. Waldmann. The earlier, the better - so I can start running tests.
  1 KB (212 words) - 22:14, 26 July 2017
• Termination Competition 2015 Registration
  Submit benchmarks to René Thiemann.
  2 KB (263 words) - 08:47, 29 July 2015
• 19th International Workshop on Termination
  | <u>Fabian Mitterwallner</u>, Aart Middeldorp and René Thiemann: | <u>René Thiemann</u> and Elias Wenninger:
  11 KB (1,420 words) - 17:02, 17 August 2023
• Termination and Complexity Competition 2016
  * René Thiemann, Universität Innsbruck, Austria * René Thiemann, Universität Innsbruck, Austria (CPF)
  7 KB (1,056 words) - 21:06, 5 September 2016
• Termination Competition 2014 Registration
  * send to R. Thiemann, in email, the pathname of this subspace, and grant read access on star-exe
  4 KB (580 words) - 14:43, 19 July 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)