Login / Signup
Raphael Douglas Giles
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Pairwise
Image Classification
Linear Combination
Recursive Functions
Top Venues
ICALP
SPLASH Companion
</>
Publications
</>
Raphael Douglas Giles
,
Vincent Jackson
,
Christine Rizkallah
T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations.
ICALP
(2024)
Raphael Douglas Giles
Termination of Recursive Functions by Lexicographic Orders of Linear Combinations.
SPLASH Companion
(2022)