Class information for:
Level 1: POST CORRESPONDENCE PROBLEM//INFINITARY RATIONAL RELATIONS//D0L SYSTEM

Basic class information

Class id #P Avg. number of
references
Database coverage
of references
15945 682 15.6 26%



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
621 3       MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//LOGIC 13680
1059 2             MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//P SYSTEMS 10031
15945 1                   POST CORRESPONDENCE PROBLEM//INFINITARY RATIONAL RELATIONS//D0L SYSTEM 682

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 POST CORRESPONDENCE PROBLEM authKW 417862 2% 67% 14
2 INFINITARY RATIONAL RELATIONS authKW 313404 1% 100% 7
3 D0L SYSTEM authKW 279817 1% 63% 10
4 EQUALITY SETS authKW 268632 1% 100% 6
5 EQUIPE LOG MATH address 195220 4% 17% 26
6 OMEGA LANGUAGES authKW 184189 2% 34% 12
7 MATRIX SEMIGROUPS authKW 181316 1% 45% 9
8 INFINITE POST CORRESPONDENCE PROBLEM authKW 179088 1% 100% 4
9 MARKED MORPHISM authKW 179088 1% 100% 4
10 OMEGA CONTEXT FREE LANGUAGES authKW 179088 1% 100% 4

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 Computer Science, Theory & Methods 27644 55% 0% 376
2 Computer Science, Information Systems 3606 19% 0% 131
3 Logic 1859 4% 0% 25
4 COMPUTER APPLICATIONS & CYBERNETICS 1081 1% 0% 8
5 Mathematics 969 17% 0% 119
6 Mathematics, Applied 769 14% 0% 98
7 Computer Science, Software Engineering 609 7% 0% 50
8 Computer Science, Hardware & Architecture 367 4% 0% 30
9 Computer Science, Cybernetics 92 1% 0% 8
10 Computer Science, Artificial Intelligence -0 1% 0% 4

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 EQUIPE LOG MATH 195220 4% 17% 26
2 CHAIR INFORMAT DISCRETE MATH 89544 0% 100% 2
3 EQUIP LOG MATH 89544 0% 100% 2
4 TURKU COMP SCI 88901 3% 9% 21
5 HEC ISI 59695 0% 67% 2
6 TUCS TURKU COMP SCI 58903 1% 26% 5
7 UFR MATH CASE 7012 48657 1% 22% 5
8 ALGEBRA DISKRETE MATH ABT THEORET INFORMAT 44772 0% 100% 1
9 CNRSEQUIPE MODELES CALCUL COMPLEXITE INFOR 44772 0% 100% 1
10 EQUIPE ANALYSE FONCTIONNELLE 44772 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 RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS 131138 6% 8% 39
2 THEORETICAL COMPUTER SCIENCE 122395 25% 2% 171
3 RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS 44734 3% 5% 20
4 ACTA INFORMATICA 17651 3% 2% 21
5 INFORMATION AND CONTROL 16007 2% 3% 11
6 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE 12084 2% 2% 16
7 CYBERNETICS 9600 1% 3% 8
8 MATHEMATICAL SYSTEMS THEORY 8911 1% 2% 8
9 INFORMATION PROCESSING LETTERS 8605 5% 1% 35
10 PROGRAMMING AND COMPUTER SOFTWARE 7820 2% 1% 12

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 POST CORRESPONDENCE PROBLEM 417862 2% 67% 14 Search POST+CORRESPONDENCE+PROBLEM Search POST+CORRESPONDENCE+PROBLEM
2 INFINITARY RATIONAL RELATIONS 313404 1% 100% 7 Search INFINITARY+RATIONAL+RELATIONS Search INFINITARY+RATIONAL+RELATIONS
3 D0L SYSTEM 279817 1% 63% 10 Search D0L+SYSTEM Search D0L+SYSTEM
4 EQUALITY SETS 268632 1% 100% 6 Search EQUALITY+SETS Search EQUALITY+SETS
5 OMEGA LANGUAGES 184189 2% 34% 12 Search OMEGA+LANGUAGES Search OMEGA+LANGUAGES
6 MATRIX SEMIGROUPS 181316 1% 45% 9 Search MATRIX+SEMIGROUPS Search MATRIX+SEMIGROUPS
7 INFINITE POST CORRESPONDENCE PROBLEM 179088 1% 100% 4 Search INFINITE+POST+CORRESPONDENCE+PROBLEM Search INFINITE+POST+CORRESPONDENCE+PROBLEM
8 MARKED MORPHISM 179088 1% 100% 4 Search MARKED+MORPHISM Search MARKED+MORPHISM
9 OMEGA CONTEXT FREE LANGUAGES 179088 1% 100% 4 Search OMEGA+CONTEXT+FREE+LANGUAGES Search OMEGA+CONTEXT+FREE+LANGUAGES
10 WAGNER HIERARCHY 179088 1% 100% 4 Search WAGNER+HIERARCHY Search WAGNER+HIERARCHY

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 FINKEL, O , (2016) LOCALLY FINITE OMEGA-LANGUAGES AND EFFECTIVE ANALYTIC SETS HAVE THE SAME TOPOLOGICAL COMPLEXITY.MATHEMATICAL LOGIC QUARTERLY. VOL. 62. ISSUE 4-5. P. 303 -318 16 94% 0
2 FINKEL, O , (2006) BOREL RANKS AND WADGE DEGREES OF CONTEXT FREE OMEGA-LANGUAGES.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 16. ISSUE 5. P. 813-840 18 90% 5
3 SAARELA, A , (2015) SYSTEMS OF WORD EQUATIONS, POLYNOMIALS AND LINEAR ALGEBRA: A NEW APPROACH.EUROPEAN JOURNAL OF COMBINATORICS. VOL. 47. ISSUE . P. 1 -14 12 92% 1
4 FINKEL, O , (2008) TOPOLOGICAL COMPLEXITY OF LOCALLY FINITE OMEGA-LANGUAGES.ARCHIVE FOR MATHEMATICAL LOGIC. VOL. 47. ISSUE 6. P. 625-651 14 93% 0
5 SIMMONNET, P , CAGNARD, B , (2007) BAIRE AND AUTOMATA.DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE. VOL. 9. ISSUE 2. P. 255 -295 20 67% 2
6 FINKEL, O , (2014) AMBIGUITY OF OMEGA-LANGUAGES OF TURING MACHINES.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 10. ISSUE 3. P. - 11 100% 0
7 FINKEL, O , (2003) ON OMEGA CONTEXT FREE LANGUAGES WHICH ARE BOREL SETS OF INFINITE RANK.THEORETICAL COMPUTER SCIENCE. VOL. 299. ISSUE 1-3. P. 327-346 14 100% 1
8 KARHUMAKI, J , SAARELA, A , (2011) ON MAXIMAL CHAINS OF SYSTEMS OF WORD EQUATIONS.PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS. VOL. 274. ISSUE 1. P. 116 -123 11 100% 0
9 CASSAIGNE, J , NICOLAS, F , (2012) ON THE DECIDABILITY OF SEMIGROUP FREENESS.RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS. VOL. 46. ISSUE 3. P. 355-399 14 74% 8
10 FINKEL, O , (2003) BOREL HIERARCHY AND OMEGA CONTEXT FREE LANGUAGES.THEORETICAL COMPUTER SCIENCE. VOL. 290. ISSUE 3. P. 1385-1405 14 93% 13

Classes with closest relation at Level 1



Rank Class id link
1 19439 PRIMITIVE WORDS//SLENDER LANGUAGES//UNAVOIDABLE SETS
2 13313 PUSHDOWN SYSTEMS//PARITY GAMES//AUTOMATIC STRUCTURES
3 16131 FUZZY LANGUAGE//TREE TRANSDUCER//FUZZY AUTOMATA
4 25940 PICTURE LANGUAGES//TWO DIMENSIONAL LANGUAGES//2D LANGUAGES
5 19168 SHIFT OF FINITE TYPE//ZD//SOFIC
6 20609 GENERATIVE POWER//GRAMMAR SYSTEMS//SCATTERED CONTEXT GRAMMARS
7 11887 STATE COMPLEXITY//DESCRIPTIONAL COMPLEXITY//FINITE AUTOMATA
8 14975 PSEUDOVARIETY//FINITE MONOID//IMPLICIT OPERATION
9 13914 RESTARTING AUTOMATON//FINITE DERIVATION TYPE//AUTOMATIC SEMIGROUP
10 15505 MESSAGE SEQUENCE CHARTS//LIVE SEQUENCE CHARTS//MAZURKIEWICZ TRACES

Go to start page