Jan-Christoph Kassing

According to our database, Jan-Christoph Kassing authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing, Jürgen Giesl

CoRR, 2023

Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version).

Jan-Christoph Kassing, Jürgen Giesl

CoRR, 2023

Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.

Jan-Christoph Kassing, Jürgen Giesl

Proceedings of the Automated Deduction - CADE 29, 2023