Search results

From Termination-Portal.org
Jump to navigationJump to search

Page title matches

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

Page text matches

  • * 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
  • ...:Christian Sternagel|Christian Sternagel]] and [[People:René Thiemann|René Thiemann]]
    689 bytes (101 words) - 12:44, 9 April 2010
  • |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
  • author = {Jürgen Giesl and René Thiemann and Peter Schneider-kamp and Stephan Falke},
    578 bytes (73 words) - 17:25, 13 May 2009
  • author = "J. Giesl and P. Schneider-Kamp and R. Thiemann",
    658 bytes (82 words) - 20:55, 13 May 2009
  • author = "J. Giesl and S. Swiderski and P. Schneider-Kamp and R. Thiemann",
    685 bytes (87 words) - 06:23, 8 April 2008
  • |lastname=Thiemann |homepage=http://cl-informatik.uibk.ac.at/~thiemann/
    634 bytes (96 words) - 14:17, 10 April 2008
  • AUTHOR = {P. Schneider-Kamp and J. Giesl and A. Serebrenik and R. Thiemann},
    696 bytes (91 words) - 18:44, 31 March 2008
  • 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
  • author = "R. Thiemann and C. Sternagel",
    611 bytes (76 words) - 09:54, 29 September 2009
  • * René Thiemann: * René Thiemann suggests:
    4 KB (635 words) - 17:27, 25 November 2008
  • Thiemann, Ren\'e},
    1 KB (110 words) - 07:55, 29 July 2014
  • * 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
  • * 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
  • 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
  • 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
  • Submit benchmarks to René Thiemann.
    2 KB (263 words) - 08:47, 29 July 2015
  • | <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
  • * René Thiemann, Universität Innsbruck, Austria * René Thiemann, Universität Innsbruck, Austria (CPF)
    7 KB (1,056 words) - 21:06, 5 September 2016
  • * 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)