size-change termination principle
infinite computations always trigger infinite descent in data values that are well-founded
Pronunciations
British English
/ˈsaɪz - ˈt͡ʃeɪnd͡ʒ ˌtɜːmɪˈneɪʃn ˈpɹɪnsɪpəl/Open converterAmerican English
/ˈsaɪz - ˈt͡ʃeɪnd͡ʒ tɚməˈneɪʃən ˈpɹɪnsəpəl/Open converter
These IPA transcriptions are generated from the name above. Proper names may have other pronunciations, and current converter results may differ. How transcription works