Raphael Douglas Giles

According to our database¹, Raphael Douglas Giles authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

T-Rex.

[BibT_eX]

[DOI]

Dataset, November, 2024

T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations.

[BibT_eX]

[DOI]

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2022

Termination of Recursive Functions by Lexicographic Orders of Linear Combinations.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022