|lastname=Kassing
|email=Kassing@cs.rwth-aachen.de
...
695 bytes (103 words) - 12:44, 15 January 2026
* [2] Jan-Christoph Kassing and Jürgen Giesl. From Innermost To Full Probabilistic Term Rewriting: Almo
...
3 KB (525 words) - 15:55, 28 October 2026
* [2] Jan-Christoph Kassing and Jürgen Giesl. From Innermost To Full Probabilistic Term Rewriting: Almo
...
3 KB (552 words) - 15:56, 28 October 2026
| <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
| <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,385 words) - 07:20, 16 July 2026
