ELEMENTARY
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/07 19:04 UTC 版)
計算複雑性理論において ELEMENTARY とは指数階層の和集合で表される複雑性クラスである。
| ||||||||||||
- ^ Th. Skolem, "Proof of some theorems on recursively enumerable sets", Notre Dame Journal of Formal Logic, 1962, Volume 3, Number 2, pp 65-74, doi:10.1305/ndjfl/1093957149.
- ^ a b S. A. Volkov, "On the class of Skolem elementary functions", Journal of Applied and Industrial Mathematics, 2010, Volume 4, Issue 4, pp 588-599, doi:10.1134/S1990478910040149.
- ^ Volkov, Sergey (2016). "Finite Bases with Respect to the Superposition in Classes of Elementary Recursive Functions [dissertation]". arXiv:1611.04843。
- ^ Mazzanti, S., "Plain Bases for Classes of Primitive Recursive Functions", Mathematical Logic Quarterly, 48 (2002) 93-104
- ^ Lauri Hella and José María Turull-Torres (2006), “Computing queries with higher-order logics”, Theoretical Computer Science (Essex, UK: Elsevier Science Publishers Ltd.) 355 (2): 197–214, doi:10.1016/j.tcs.2006.01.009, ISSN 0304-3975
[続きの解説]
「ELEMENTARY」の続きの解説一覧
「elementary」の例文・使い方・用例・文例
- elementaryのページへのリンク
