Class information for: |
Basic class information |
Class id | #P | Avg. number of references |
Database coverage of references |
---|---|---|---|
13494 | 833 | 23.3 | 28% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
Terms with highest relevance score |
rank | Term | termType | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|---|
1 | FINITE MODEL THEORY | authKW | 1149287 | 6% | 58% | 54 |
2 | DESCRIPTIVE COMPLEXITY | authKW | 588491 | 4% | 47% | 34 |
3 | CONSTRAINT DATABASES | authKW | 342110 | 2% | 67% | 14 |
4 | EHRENFEUCHT FRAISSE GAMES | authKW | 252206 | 2% | 40% | 17 |
5 | DESCRIPTIVE COMPLEXITY THEORY | authKW | 213265 | 1% | 73% | 8 |
6 | LINDSTROM QUANTIFIERS | authKW | 152730 | 1% | 83% | 5 |
7 | EXISTENTIAL SECOND ORDER LOGIC | authKW | 146619 | 1% | 67% | 6 |
8 | ABSTRACT STATE MACHINE | authKW | 137989 | 1% | 47% | 8 |
9 | PROGRAM SCHEMES | authKW | 117296 | 0% | 80% | 4 |
10 | MATH GRUNDLAGEN INFORMAT | address | 111703 | 1% | 38% | 8 |
Web of Science journal categories |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|
1 | Logic | 77969 | 21% | 1% | 177 |
2 | Computer Science, Theory & Methods | 33578 | 55% | 0% | 458 |
3 | Computer Science, Information Systems | 4180 | 19% | 0% | 156 |
4 | Mathematics | 3514 | 29% | 0% | 240 |
5 | Computer Science, Software Engineering | 2115 | 12% | 0% | 100 |
6 | Computer Science, Hardware & Architecture | 1971 | 9% | 0% | 74 |
7 | Mathematics, Applied | 1898 | 20% | 0% | 165 |
8 | Computer Science, Artificial Intelligence | 502 | 7% | 0% | 58 |
9 | COMPUTER APPLICATIONS & CYBERNETICS | 493 | 1% | 0% | 6 |
10 | Statistics & Probability | 14 | 2% | 0% | 13 |
Address terms |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|
1 | MATH GRUNDLAGEN INFORMAT | 111703 | 1% | 38% | 8 |
2 | WNI | 70001 | 2% | 12% | 16 |
3 | LEHRGEBIET MATH GRUNDLAGEN INFORMAT | 65978 | 0% | 60% | 3 |
4 | CSE 0114 | 48873 | 0% | 67% | 2 |
5 | CFDVS | 36656 | 0% | 100% | 1 |
6 | COMPUTAT LOGIC | 36656 | 0% | 100% | 1 |
7 | CSE C0114 | 36656 | 0% | 100% | 1 |
8 | CULTURE EDUC HUMAN DEV MEDIA GAMES NETWOR | 36656 | 0% | 100% | 1 |
9 | EQUIPE VERTIGO | 36656 | 0% | 100% | 1 |
10 | GOURANT | 36656 | 0% | 100% | 1 |
Journals |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
---|---|---|---|---|---|
1 | JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 41977 | 6% | 2% | 50 |
2 | INFORMATION AND COMPUTATION | 32098 | 5% | 2% | 43 |
3 | JOURNAL OF SYMBOLIC LOGIC | 25569 | 5% | 2% | 45 |
4 | ANNALS OF PURE AND APPLIED LOGIC | 20513 | 4% | 2% | 34 |
5 | MATHEMATICAL LOGIC QUARTERLY | 17922 | 3% | 2% | 24 |
6 | LECTURE NOTES IN COMPUTER SCIENCE | 17322 | 25% | 0% | 205 |
7 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 16218 | 1% | 4% | 12 |
8 | ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 12489 | 2% | 3% | 13 |
9 | THEORETICAL COMPUTER SCIENCE | 11052 | 7% | 1% | 57 |
10 | JOURNAL OF THE ACM | 10257 | 2% | 1% | 20 |
Author Key Words |
Rank | Term | Chi square | Shr. of publ. in class containing term |
Class's shr. of term's tot. occurrences |
#P with term in class |
LCSH search | Wikipedia search |
---|---|---|---|---|---|---|---|
1 | FINITE MODEL THEORY | 1149287 | 6% | 58% | 54 | Search FINITE+MODEL+THEORY | Search FINITE+MODEL+THEORY |
2 | DESCRIPTIVE COMPLEXITY | 588491 | 4% | 47% | 34 | Search DESCRIPTIVE+COMPLEXITY | Search DESCRIPTIVE+COMPLEXITY |
3 | CONSTRAINT DATABASES | 342110 | 2% | 67% | 14 | Search CONSTRAINT+DATABASES | Search CONSTRAINT+DATABASES |
4 | EHRENFEUCHT FRAISSE GAMES | 252206 | 2% | 40% | 17 | Search EHRENFEUCHT+FRAISSE+GAMES | Search EHRENFEUCHT+FRAISSE+GAMES |
5 | DESCRIPTIVE COMPLEXITY THEORY | 213265 | 1% | 73% | 8 | Search DESCRIPTIVE+COMPLEXITY+THEORY | Search DESCRIPTIVE+COMPLEXITY+THEORY |
6 | LINDSTROM QUANTIFIERS | 152730 | 1% | 83% | 5 | Search LINDSTROM+QUANTIFIERS | Search LINDSTROM+QUANTIFIERS |
7 | EXISTENTIAL SECOND ORDER LOGIC | 146619 | 1% | 67% | 6 | Search EXISTENTIAL+SECOND+ORDER+LOGIC | Search EXISTENTIAL+SECOND+ORDER+LOGIC |
8 | ABSTRACT STATE MACHINE | 137989 | 1% | 47% | 8 | Search ABSTRACT+STATE+MACHINE | Search ABSTRACT+STATE+MACHINE |
9 | PROGRAM SCHEMES | 117296 | 0% | 80% | 4 | Search PROGRAM+SCHEMES | Search PROGRAM+SCHEMES |
10 | ALMOST ORDER | 109967 | 0% | 100% | 3 | Search ALMOST+ORDER | Search ALMOST+ORDER |
Core articles |
The table includes core articles in the class. The following variables is taken into account for the relevance score of an article in a cluster c: (1) Number of references referring to publications in the class. (2) Share of total number of active references referring to publications in the class. (3) Age of the article. New articles get higher score than old articles. (4) Citation rate, normalized to year. |
Rank | Reference | # ref. in cl. |
Shr. of ref. in cl. |
Citations |
---|---|---|---|---|
1 | STEWART, IA , (2009) LOGICAL AND COMPLEXITY-THEORETIC ASPECTS OF MODELS OF COMPUTATION WITH RESTRICTED ACCESS TO ARRAYS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 19. ISSUE 1. P. 217 -242 | 18 | 95% | 0 |
2 | STEWART, IA , (2009) PROGRAM SCHEMES, QUEUES, THE RECURSIVE SPECTRUM AND ZERO-ONE LAWS.FUNDAMENTA INFORMATICAE. VOL. 91. ISSUE 2. P. 411 -435 | 17 | 94% | 0 |
3 | DURAND, A , JONES, ND , MAKOWSKY, JA , MORE, M , (2012) FIFTY YEARS OF THE SPECTRUM PROBLEM: SURVEY AND NEW RESULTS.BULLETIN OF SYMBOLIC LOGIC. VOL. 18. ISSUE 4. P. 505-553 | 22 | 59% | 3 |
4 | GROHE, M , (1998) FINITE VARIABLE LOGICS IN DESCRIPTIVE COMPLEXITY THEORY.BULLETIN OF SYMBOLIC LOGIC. VOL. 4. ISSUE 4. P. 345 -398 | 20 | 95% | 7 |
5 | BLASS, A , (2016) SYMBIOSES BETWEEN MATHEMATICAL LOGIC AND COMPUTER SCIENCE.ANNALS OF PURE AND APPLIED LOGIC. VOL. 167. ISSUE 10. P. 868 -878 | 11 | 100% | 0 |
6 | ABITEBOUL, S , VARDI, MY , VIANU, V , (1997) FIXPOINT LOGICS, RELATIONAL MACHINES, AND COMPUTATIONAL COMPLEXITY.JOURNAL OF THE ACM. VOL. 44. ISSUE 1. P. 30 -56 | 19 | 90% | 17 |
7 | HELLA, L , KOLAITIS, PG , LUOSTO, K , (1997) HOW TO DEFINE A LINEAR ORDER ON FINITE MODELS.ANNALS OF PURE AND APPLIED LOGIC. VOL. 87. ISSUE 3. P. 241-267 | 19 | 90% | 5 |
8 | BENEDIKT, M , LIBKIN, L , (2000) RELATIONAL QUERIES OVER INTERPRETED STRUCTURES.JOURNAL OF THE ACM. VOL. 47. ISSUE 4. P. 644 -680 | 21 | 70% | 12 |
9 | HELLA, L , LIBKIN, L , NURMONEN, J , WONG, LS , (2001) LOGICS WITH AGGREGATE OPERATORS.JOURNAL OF THE ACM. VOL. 48. ISSUE 4. P. 880 -907 | 17 | 81% | 12 |
10 | STEWART, IA , (2002) PROGRAM SCHEMES, ARRAYS, LINDSTROM QUANTIFIERS AND ZERO-ONE LAWS.THEORETICAL COMPUTER SCIENCE. VOL. 275. ISSUE 1-2. P. 283 -310 | 16 | 84% | 5 |
Classes with closest relation at Level 1 |