146 search results - page 30 / 30 » Computably Enumerable Sets and Quasi-Reducibility |
169
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...