Search results

From Termination-Portal.org
Jump to navigationJump to search

  • Bibtex:LM08
    editor = {Sergio Antoy and Elvira Albert}
    738 bytes (94 words) - 15:31, 16 June 2009
  • Tools:THOR
    |homepage=http://www.lsi.upc.edu/~albert |developers=Albert Rubio
    763 bytes (116 words) - 18:27, 26 June 2012
  • TC SC Meeting WST09
    * result of election: the new TC SC consists of Jürgen Giesl, Albert Rubio, Johannes Waldmann. Aart Middeldorp was appointed as additional membe
    2 KB (280 words) - 12:31, 5 June 2009
  • Higher Order Rewriting
    Albert
    1 KB (235 words) - 12:23, 14 May 2010
  • Termination Competition Steering Committee
    * [https://www.cs.upc.edu/~albert/ Albert Rubio] (Chair), UPC Barcelona
    3 KB (403 words) - 10:30, 21 October 2019
  • Termination Competition
    * [https://www.cs.upc.edu/~albert/ Albert Rubio], Complutense University of Madrid ...zig.de/competitions/Y2016 Results of Competition]. [http://www.cs.upc.edu/~albert/papers/termcomp2016_slides.pdf Presentation at WST]
    7 KB (905 words) - 10:03, 16 April 2024
  • WST2013
    * [http://www.lsi.upc.edu/~albert/ Albert Rubio] (Univ. Politecnica de Catalunya)
    5 KB (703 words) - 11:58, 26 August 2013
  • Termination Competition 2024
    * Albert Rubio, Complutense University of Madrid
    6 KB (886 words) - 15:59, 15 April 2024
  • Termination Competition 2014
    * Albert Rubio (chair), UPC Barcelona, Spain
    6 KB (942 words) - 13:45, 11 October 2015
  • Termination Competition 2017
    * Albert Rubio (chair), UPC Barcelona, Spain
    7 KB (962 words) - 08:48, 11 June 2018
  • Termination Competition 2023
    * Albert Rubio, Complutense University of Madrid
    6 KB (954 words) - 08:32, 12 September 2023
  • Termination Competition 2020
    * Albert Rubio (Chair), UPC Barcelona
    7 KB (999 words) - 09:55, 3 July 2020
  • Termination Competition 2021
    * Albert Rubio, Complutense University of Madrid
    7 KB (1,024 words) - 06:44, 14 July 2021
  • Termination Competition 2018
    * Albert Rubio (chair), UPC Barcelona, Spain
    7 KB (1,049 words) - 09:55, 12 June 2020
  • Termination Competition 2019
    * Albert Rubio (chair), UPC Barcelona, Spain
    7 KB (1,068 words) - 09:25, 12 June 2020
  • Termination and Complexity Competition 2016
    * Albert Rubio (chair), UPC Barcelona, Spain
    7 KB (1,056 words) - 21:06, 5 September 2016
  • Termination Competition 2022
    * Albert Rubio, Complutense University of Madrid
    8 KB (1,232 words) - 14:09, 7 November 2022
  • Termination Competition 2015
    * Albert Rubio (chair), UPC Barcelona, Spain
    9 KB (1,240 words) - 11:55, 6 August 2015
  • 19th International Workshop on Termination
    * [https://costa.fdi.ucm.es/~arubio/ Albert Rubio], Complutense U. Madrid
    11 KB (1,420 words) - 17:02, 17 August 2023
Retrieved from "http://termination-portal.org/wiki/Special:Search"