Class information for:
Level 1: FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
13494 833 23.3 28%


Bar chart of Publication_year

Last years might be incomplete

Hierarchy of classes
The table includes all classes above and classes immediately below the current class.


Cluster id Level Cluster label #P
9 4 COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE//COMPUTER SCIENCE, INFORMATION SYSTEMS 1247339
20 3       COMPUTER SCIENCE, INFORMATION SYSTEMS//COMPUTER SCIENCE, THEORY & METHODS//COMPUTER SCIENCE, SOFTWARE ENGINEERING 118625
864 2             INFORMATION SYSTEMS//COMPUTER SCIENCE, INFORMATION SYSTEMS//ACM TRANSACTIONS ON DATABASE SYSTEMS 11601
13494 1                   FINITE MODEL THEORY//DESCRIPTIVE COMPLEXITY//CONSTRAINT DATABASES 833

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


Rank Class id link
1 32295 DEPENDENCE LOGIC//INDEPENDENCE FRIENDLY LOGIC//TEAM SEMANTICS
2 26144 GUARDED FRAGMENT//HYBRID LOGIC//DATA WORDS
3 31925 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
4 3519 RESOURCE BOUNDED MEASURE//POLYNOMIAL TIME HIERARCHY//COMPLEXITY CLASSES
5 29419 RECURSIVE QUERY PROCESSING//DEDUCTIVE DATABASES//RECURSIVE QUERY EVALUATION
6 6911 FUNCTIONAL DEPENDENCY//SCHEMA MAPPING//ACM TRANSACTIONS ON DATABASE SYSTEMS
7 26855 ABSTRACT RECURSION THEORY//CODED REWRITING//EFFECTIVELY FINITE PARTIAL ORDER
8 26848 COMPUTABLE SET THEORY//HEREDITARILY FINITE SETS//EXTENSIONAL DIGRAPH
9 13630 OBJECT ORIENTED DATABASES//OBJECT ORIENTED DATABASE SYSTEMS//OBJECT ALGEBRA
10 31816 COMPLEX OBJECT RELATIONS//2 PHASE LOCKING PROTOCOL//AD GT1

Go to start page