Titlebook: Subrecursive Programming Systems; Complexity & Succinc James S. Royer,John Case Book 1994 Springer Science+Business Media New York 1994 Lis

閘門(mén)

書(shū)目名稱(chēng)Subrecursive Programming Systems影響因子(影響力)




書(shū)目名稱(chēng)Subrecursive Programming Systems影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Subrecursive Programming Systems網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Subrecursive Programming Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Subrecursive Programming Systems被引頻次




書(shū)目名稱(chēng)Subrecursive Programming Systems被引頻次學(xué)科排名




書(shū)目名稱(chēng)Subrecursive Programming Systems年度引用




書(shū)目名稱(chēng)Subrecursive Programming Systems年度引用學(xué)科排名




書(shū)目名稱(chēng)Subrecursive Programming Systems讀者反饋




書(shū)目名稱(chēng)Subrecursive Programming Systems讀者反饋學(xué)科排名

神刊

visual-cortex

服從

Overview: 978-1-4612-6680-8978-1-4612-0249-3

adipose-tissue

招惹

我不明白

Delayed Enumeration and Limiting RecursionThis chapter provides two major tools, our . (Theorems 7.1 and 7.2) and our . (Theorem 7.4), each of which is of some independent interest.

ferment

豎琴

Notions of SuccinctnessHere we consider what it means for one programming system to be more succinct than another. This chapter introduces the various forms of relative succinctness examined in later chapters and establishes some basic facts about these notions.

atopic-rhinitis