Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Efficient scheduling of recursive control flow on GPUs
Proceedings of the 27th international ACM conference on International conference on supercomputing
Hi-index | 0.00 |