23 citations · 55 across the 7 of their papers we have counts for
1 paper · 1 filter
Ramana Kumar, Magnus O. Myreen
Many potentially non-terminating functions cannot be directly defined in a logic of total functions, such as HOL. A well-known solution to this is to define non-terminating functio…