Search results

From Termination-Portal.org
Jump to navigationJump to search

Page title matches

Page text matches

  • People:Jan-Christoph Kassing
    |lastname=Kassing |email=Kassing@cs.rwth-aachen.de
    695 bytes (103 words) - 12:44, 15 January 2026
  • PTRS Innermost
    * [2] Jan-Christoph Kassing and Jürgen Giesl. From Innermost To Full Probabilistic Term Rewriting: Alm
    3 KB (407 words) - 10:07, 11 March 2026
  • PTRS Standard
    * [2] Jan-Christoph Kassing and Jürgen Giesl. From Innermost To Full Probabilistic Term Rewriting: Alm
    3 KB (434 words) - 10:08, 11 March 2026
  • 19th International Workshop on Termination
    | <u>Jan-Christoph Kassing</u> and [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]: .../ffrohn.github.io Florian Frohn], Carsten Fuhs, Jera Hensel, Jan-Christoph Kassing, Nils Lommen and Eleanore Meyer:
    11 KB (1,420 words) - 17:02, 17 August 2023
  • 21st International Workshop on Termination
    | <u>Jan-Christoph Kassing</u> and [https://verify.rwth-aachen.de/giesl/ Jürgen Giesl]: .../ffrohn.github.io Florian Frohn], Carsten Fuhs, Jera Hensel, Jan-Christoph Kassing, Nils Lommen and Eleanore Meyer:
    11 KB (1,375 words) - 09:23, 23 February 2026
Retrieved from "http://termination-portal.org/wiki/Special:Search"