Search results

From Termination-Portal.org
Jump to navigationJump to search

Page title matches

Page text matches

  • People:Akihisa Yamada
    |firstname=Akihisa |lastname=Yamada
    642 bytes (97 words) - 08:43, 25 January 2023
  • Termination Competition 2019
    at the discretion of the organizer, Akihisa Yamada. * Akihisa Yamada, NII, Japan
    7 KB (1,068 words) - 09:25, 12 June 2020
  • Termination Competition 2015 Registration
    * TRS relative: by Akihisa Yamada
    2 KB (263 words) - 08:47, 29 July 2015
  • Termination Competition 2018
    * Akihisa Yamada, NII, Japan * Akihisa Yamada, NII, Japan
    7 KB (1,049 words) - 09:55, 12 June 2020
  • Termination Competition
    * [https://group-mmm.org/~ayamada/ Akihisa Yamada], AIST Tokyo Waterfront From 2018 to 2023, the organizer was Akihisa Yamada.
    7 KB (851 words) - 10:03, 11 March 2026
  • 19th International Workshop on Termination
    '''Session 1''': Keynote & Probabilistic Termination (Chair: Akihisa Yamada) '''Session 6''': termCOMP 2023 and business meeting (Chair: Akihisa Yamada)
    11 KB (1,420 words) - 17:02, 17 August 2023
  • 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
  • PTRS Innermost
    * [1] Martin Avanzini, Ugo Dal Lago, and Akihisa Yamada. On probabilistic term rewriting. <i>Science of Computer Programming</i>, 2
    3 KB (407 words) - 10:07, 11 March 2026
  • Termination Competition Steering Committee
    * [https://group-mmm.org/~ayamada/ Akihisa Yamada], AIST Tokyo Waterfront
    3 KB (405 words) - 09:36, 18 September 2025
  • PTRS Standard
    * [1] Martin Avanzini, Ugo Dal Lago, and Akihisa Yamada. On probabilistic term rewriting. <i>Science of Computer Programming</i>, 2
    3 KB (434 words) - 10:08, 11 March 2026
  • 21st International Workshop on Termination
    '''Session 1''': Keynote & Probabilistic Termination (Chair: Akihisa Yamada) '''Session 6''': termCOMP 2023 and business meeting (Chair: Akihisa Yamada)
    11 KB (1,375 words) - 09:23, 23 February 2026
  • Termination Competition 2026
    * Akihisa Yamada, AIST Tokyo Waterfront
    6 KB (863 words) - 08:39, 23 February 2026
  • Termination Competition 2025
    * Akihisa Yamada, AIST Tokyo Waterfront
    6 KB (819 words) - 09:09, 8 September 2025
  • Termination Competition 2024
    * Akihisa Yamada, AIST Tokyo Waterfront
    6 KB (902 words) - 13:34, 5 July 2024
  • Termination Competition 2023
    * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
    6 KB (954 words) - 08:32, 12 September 2023
  • Termination Competition 2020
    * Akihisa Yamada (Organizer), AIST Tsukuba
    7 KB (999 words) - 09:55, 3 July 2020
  • Termination Competition 2021
    * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
    7 KB (1,024 words) - 06:44, 14 July 2021
  • Termination and Complexity Competition 2016
    * Akihisa Yamada, Universität Innsbruck, Austria (TPDB) Send new problems for the competition to akihisa.yamada<at>uibk.ac.at
    7 KB (1,056 words) - 21:06, 5 September 2016
  • Termination Competition 2022
    * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront
    8 KB (1,232 words) - 14:09, 7 November 2022
Retrieved from "http://termination-portal.org/wiki/Special:Search"