<--- Back to Details
First PageDocument Content
Theoretical computer science / Functions and mappings / ELEMENTARY / Ordinal number / Termination analysis / Function / Mathematics / Computability theory / Mathematical logic
Date: 2014-09-25 09:59:32
Theoretical computer science
Functions and mappings
ELEMENTARY
Ordinal number
Termination analysis
Function
Mathematics
Computability theory
Mathematical logic

Termination Proofs Ordinal Ranking Length Functions

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Download Document from Source Website

File Size: 615,97 KB

Share Document on Facebook

Similar Documents