Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Dollase
conf.researchr.org general profile
FLOPS 2024 profile
Not registered as user yet
Name:
Stefan Dollase
Country:
Germany
Affiliation:
RWTH Aachen, Research Group Computer Science 2
Contributions
2024
FLOPS
Author of A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting within the FLOPS 2024-track
Share
x
Wed 15 May 05:32