Search results

From Termination-Portal.org
Jump to navigationJump to search

  • 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
Retrieved from "http://termination-portal.org/wiki/Special:Search"