Search results

From Termination-Portal.org
Jump to navigationJump to search

  • People:Hans Zantema
    |university=Technische Universiteit Eindhoven / Radboud Universiteit Nijmegen
    599 bytes (92 words) - 09:21, 3 November 2008
  • People:Cynthia Kop
    |university=Radboud University Nijmegen
    632 bytes (97 words) - 10:39, 21 November 2025
  • 19th International Workshop on Termination
    August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google * [https://deividrvale.github.io/ Deivid Vale], Radboud U. Nijmegen
    11 KB (1,420 words) - 17:02, 17 August 2023
Retrieved from "http://termination-portal.org/wiki/Special:Search"