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
  • 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,426 words) - 14:57, 15 January 2026
Retrieved from "http://termination-portal.org/wiki/Special:Search"