<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-09-25 09:59:32Theoretical computer science Functions and mappings ELEMENTARY Ordinal number Termination analysis Function Mathematics Computability theory Mathematical logic |
Add to Reading List |
Termination Proofs Ordinal Ranking Length Functions