Jan-Christoph Kassing

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 9

Top Topics

Probabilistic Logic

Theorem Proving

Top Venues

Publications

Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl
A Dependency Pair Framework for Relative Termination of Term Rewriting. IJCAR (2) (2024)
Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. FLOPS (2024)
Jan-Christoph Kassing, Grigory Vartanyan, Jürgen Giesl
A Dependency Pair Framework for Relative Termination of Term Rewriting. CoRR (2024)
Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. FoSSaCS (2) (2024)
Jan-Christoph Kassing, Jürgen Giesl
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. CADE (2023)
Jan-Christoph Kassing, Jürgen Giesl
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version). CoRR (2023)
Jan-Christoph Kassing, Jürgen Giesl
Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. CoRR (2023)
Jan-Christoph Kassing, Jürgen Giesl
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs. CoRR (2023)
Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting. CoRR (2023)