Search results

• WST
  * [[19th International Workshop on Termination]], Obergurgl, Austria, August 24-25, 2023. ...k.uibk.ac.at/events/cla-2016/ Computational Logic in the Alps], Obergurgl, Austria, September 5-7, 2016.
  3 KB (441 words) - 15:29, 3 July 2024
• People:René Thiemann
  |country=Austria
  634 bytes (96 words) - 14:17, 10 April 2008
• Bibtex:GLU08
  address = { Hagenberg, Austria},
  692 bytes (87 words) - 15:04, 16 June 2009
• People:Aart Middeldorp
  |country=Austria
  646 bytes (98 words) - 05:23, 11 April 2008
• People:Georg Moser
  |country=Austria
  628 bytes (96 words) - 14:43, 17 July 2008
• People:Martin Korp
  |country=Austria
  628 bytes (97 words) - 07:40, 9 April 2008
• People:Andreas Schnabl
  |country=Austria
  652 bytes (99 words) - 08:11, 18 July 2008
• Tools:CaT
  |country=Austria
  656 bytes (98 words) - 17:29, 13 May 2009
• People:Harald Zankl
  |country= Austria
  577 bytes (89 words) - 09:47, 18 December 2009
• Tools:TTT2
  |country= Austria
  745 bytes (107 words) - 14:09, 18 May 2009
• What domain name?
  ...y and short, and I do not think that using a "national" domain name (here: Austria) would be a big problem. Does anyone know how hard it is to get an .at-doma
  1 KB (172 words) - 09:48, 7 April 2008
• People:Christian Sternagel
  |country=Austria
  634 bytes (95 words) - 12:30, 30 May 2014
• People:Cynthia Kop
  |country=Austria
  645 bytes (98 words) - 20:19, 7 September 2013
• People:Felix Schernhammer
  |country=Austria
  611 bytes (94 words) - 10:34, 30 December 2009
• Tools:TCT
  |country=Austria
  622 bytes (94 words) - 11:24, 16 April 2010
• Tools:CeTA
  |country=Austria
  894 bytes (133 words) - 10:25, 6 September 2016
• Termination Competition 2010
  at the Institute of Computer Science of the University of Innsbruck, Austria.
  823 bytes (115 words) - 12:16, 29 June 2010
• Tools:IsaFoR
  |country=Austria
  689 bytes (101 words) - 12:44, 9 April 2010
• Termination Competition 2013
  Austria.
  691 bytes (87 words) - 15:34, 17 June 2013
• Termination Competition 2012
  Austria.
  718 bytes (88 words) - 18:11, 26 June 2012

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