Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- |firstname=Akihisa |lastname=Yamada642 bytes (97 words) - 08:43, 25 January 2023
Page text matches
- |firstname=Akihisa |lastname=Yamada642 bytes (97 words) - 08:43, 25 January 2023
- * [https://group-mmm.org/~ayamada/ Akihisa Yamada], AIST Tokyo Waterfront From 2018 to 2023, the organizer was Akihisa Yamada.7 KB (900 words) - 08:19, 12 February 2025
- at the discretion of the organizer, Akihisa Yamada. * Akihisa Yamada, NII, Japan7 KB (1,068 words) - 09:25, 12 June 2020
- * TRS relative: by Akihisa Yamada2 KB (263 words) - 08:47, 29 July 2015
- * Akihisa Yamada, NII, Japan * Akihisa Yamada, NII, Japan7 KB (1,049 words) - 09:55, 12 June 2020
- '''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
- * Akihisa Yamada, Universität Innsbruck, Austria * Akihisa Yamada, Universität Innsbruck, Austria (CPF and TPDB)7 KB (962 words) - 08:48, 11 June 2018
- * [https://group-mmm.org/~ayamada/ Akihisa Yamada], NII Tokyo3 KB (403 words) - 10:30, 21 October 2019
- * Akihisa Yamada, AIST Tokyo Waterfront6 KB (902 words) - 13:34, 5 July 2024
- * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront6 KB (954 words) - 08:32, 12 September 2023
- * Akihisa Yamada (Organizer), AIST Tsukuba7 KB (999 words) - 09:55, 3 July 2020
- * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront7 KB (1,024 words) - 06:44, 14 July 2021
- * Akihisa Yamada, Universität Innsbruck, Austria (TPDB) Send new problems for the competition to akihisa.yamada<at>uibk.ac.at7 KB (1,056 words) - 21:06, 5 September 2016
- * Akihisa Yamada (Chair and Organizer), AIST Tokyo Waterfront8 KB (1,232 words) - 14:09, 7 November 2022
