Sledovat
Jan-Christoph Kassing
Jan-Christoph Kassing
Research Group Computer Science 2, RWTH Aachen University
E-mailová adresa ověřena na: cs.rwth-aachen.de - Domovská stránka
Název
Citace
Citace
Rok
Proving almost-sure innermost termination of probabilistic term rewriting using dependency pairs
JC Kassing, J Giesl
International Conference on Automated Deduction, 344-364, 2023
92023
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
JC Kassing, S Dollase, J Giesl
International Symposium on Functional and Logic Programming, 62-80, 2024
62024
From innermost to full almost-sure termination of probabilistic term rewriting
JC Kassing, F Frohn, J Giesl
International Conference on Foundations of Software Science and Computation …, 2024
62024
Proving almost-sure innermost termination of probabilistic term rewriting using dependency pairs. CoRR abs/2305.11741 (2023)
JC Kassing, J Giesl
5
A dependency pair framework for relative termination of term rewriting
JC Kassing, G Vartanyan, J Giesl
International Joint Conference on Automated Reasoning, 360-380, 2024
22024
Annotated dependency pairs for full almost-sure termination of probabilistic term rewriting
JC Kassing, J Giesl
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
12024
Using dependency pairs for proving almost-sure termination of probabilistic term rewriting
JC Kassing
MA thesis. RWTH Aachen University, 2022
12022
The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
JC Kassing, J Giesl
arXiv preprint arXiv:2412.20220, 2024
2024
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
JC Kassing, J Giesl
arXiv preprint arXiv:2409.17714, 2024
2024
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version)
JC Kassing, J Giesl
arXiv preprint arXiv:2307.10002, 2023
2023
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–10