Search results

From Termination-Portal.org
Jump to navigationJump to search

  • 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 (391 words) - 17:39, 31 January 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
  • Tools:VMTL
    |country=Austria
    937 bytes (135 words) - 10:45, 30 December 2009
  • TC SC Meeting WST09
    * the WST after that will be held in Obergurgl/Austria early 2012, workshop chair: Georg Moser.
    2 KB (280 words) - 12:31, 5 June 2009
  • 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 2017
    * Akihisa Yamada, Universität Innsbruck, Austria * Akihisa Yamada, Universität Innsbruck, Austria (CPF and TPDB)
    7 KB (962 words) - 08:48, 11 June 2018
  • Cycle Rewriting
    ...ng], Proceedings of Joint International Conference, RTA-TLCA 2014, Vienna, Austria, July 14-17, 2014 Springer Lecture Notes in Computer Science 8560, pages 47
    4 KB (682 words) - 09:21, 1 July 2015
  • Termination Competition 2014
    * Rene Thiemann, Universität Innsbruck, Austria
    6 KB (942 words) - 13:45, 11 October 2015
  • Termination Competition 2018
    * Christian Sternagel, Universität Innsbruck, Austria
    7 KB (1,049 words) - 09:55, 12 June 2020
  • Termination Competition 2019
    * Christian Sternagel, Universität Innsbruck, Austria
    7 KB (1,068 words) - 09:25, 12 June 2020
  • Termination Competition 2015
    * Rene Thiemann, Universität Innsbruck, Austria
    9 KB (1,240 words) - 11:55, 6 August 2015
  • 19th International Workshop on Termination
    ...://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google Map)]
    11 KB (1,420 words) - 17:02, 17 August 2023
Retrieved from "http://termination-portal.org/wiki/Special:Search"