Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefan Dollase
conf.researchr.org general profile
FLOPS 2024 profile
Registered user since Thu 22 Aug 2024
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
Fri 20 Dec 23:21