NEXPTIME (Korean Wikipedia)

Analysis of information sources in references of the Wikipedia article "NEXPTIME" in Korean language version.

Last modified: 02:29:50, 2 January 2026 (UTC)

Ref.Un. Ref.Website

Global rank Korean rank

55doi.org

2^nd place

3^rd place

33acm.org

1,200^th place

416^th place

11jstor.org

23^rd place

33^rd place

11zbmath.org

2,089^th place

87^th place

11sciencedirect.com

137^th place

91^st place

11worldcat.org

4^th place

6^th place

11ieee.org

912^th place

312^th place

acm.org (Global: 1,200^th place; Korean: 416^th place)

dl.acm.org

Pratt-Hartmann, Ian (2014년 7월 14일). 〈Logics with counting and equivalence〉. 《Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)》. CSL-LICS '14. New York, NY, USA: Association for Computing Machinery. 1–10쪽. doi:10.1145/2603088.2603117. ISBN 978-1-4503-2886-9.
Hearn, Robert Aubrey (2006). 《Games, puzzles, and computation》 (학위논문). USA: Massachusetts Institute of Technology.

portal.acm.org

Juris Hartmanis, Neil Immerman, Vivian Sewelson. Sparse Sets in NP-P: EXPTIME versus NEXPTIME. Information and Control, volume 65, issue 2/3, pp.158–181. 1985. At ACM Digital Library

doi.org (Global: 2^nd place; Korean: 3^rd place)

dx.doi.org

Jones, Neil D.; Selman, Alan L. (1974), “Turing machines and the spectra of first-order formulas”, 《J. Symb. Log.》 39 (1): 139–150, doi:10.2307/2272354, JSTOR 2272354, Zbl 0288.02021
C. Papadimitriou & M. Yannakakis, A note on succinct representations of graphs, Information and control, vol 71 num 3, décember 1986, pp. 181—185, doi:10.1016/S0019-9958(86)80009-2
Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas (2002년 12월 15일). 《First-Order Logic with Two Variables and Unary Temporal Logic》. 《Information and Computation》 179. 279–295쪽. doi:10.1006/inco.2001.2953. ISSN 0890-5401.
Pratt-Hartmann, Ian (2014년 7월 14일). 〈Logics with counting and equivalence〉. 《Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)》. CSL-LICS '14. New York, NY, USA: Association for Computing Machinery. 1–10쪽. doi:10.1145/2603088.2603117. ISBN 978-1-4503-2886-9.
Peterson, Gary L.; Reif, John H. (October 1979). 《Multiple-person alternation》. 《20th Annual Symposium on Foundations of Computer Science (sfcs 1979)》. 348–363쪽. doi:10.1109/SFCS.1979.25.

ieee.org (Global: 912^th place; Korean: 312^th place)

ieeexplore.ieee.org

Peterson, Gary L.; Reif, John H. (October 1979). 《Multiple-person alternation》. 《20th Annual Symposium on Foundations of Computer Science (sfcs 1979)》. 348–363쪽. doi:10.1109/SFCS.1979.25.

jstor.org (Global: 23^rd place; Korean: 33^rd place)

Jones, Neil D.; Selman, Alan L. (1974), “Turing machines and the spectra of first-order formulas”, 《J. Symb. Log.》 39 (1): 139–150, doi:10.2307/2272354, JSTOR 2272354, Zbl 0288.02021

sciencedirect.com (Global: 137^th place; Korean: 91^st place)

Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas (2002년 12월 15일). 《First-Order Logic with Two Variables and Unary Temporal Logic》. 《Information and Computation》 179. 279–295쪽. doi:10.1006/inco.2001.2953. ISSN 0890-5401.

worldcat.org (Global: 4^th place; Korean: 6^th place)

Etessami, Kousha; Vardi, Moshe Y.; Wilke, Thomas (2002년 12월 15일). 《First-Order Logic with Two Variables and Unary Temporal Logic》. 《Information and Computation》 179. 279–295쪽. doi:10.1006/inco.2001.2953. ISSN 0890-5401.

zbmath.org (Global: 2,089^th place; Korean: 87^th place)

Jones, Neil D.; Selman, Alan L. (1974), “Turing machines and the spectra of first-order formulas”, 《J. Symb. Log.》 39 (1): 139–150, doi:10.2307/2272354, JSTOR 2272354, Zbl 0288.02021

NEXPTIME (Korean Wikipedia)

acm.org (Global: 1,200th place; Korean: 416th place)

dl.acm.org

portal.acm.org

doi.org (Global: 2nd place; Korean: 3rd place)

dx.doi.org

ieee.org (Global: 912th place; Korean: 312th place)

ieeexplore.ieee.org

jstor.org (Global: 23rd place; Korean: 33rd place)

sciencedirect.com (Global: 137th place; Korean: 91st place)

worldcat.org (Global: 4th place; Korean: 6th place)

zbmath.org (Global: 2,089th place; Korean: 87th place)