Class information for:
Level 1: CONTEXT UNIFICATION//SECOND ORDER UNIFICATION//WORD EQUATIONS

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
24140 322 21.2 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
148 3       COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES 63683
708 2             COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS 12890
24140 1                   CONTEXT UNIFICATION//SECOND ORDER UNIFICATION//WORD EQUATIONS 322

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 CONTEXT UNIFICATION authKW 758638 2% 100% 8
2 SECOND ORDER UNIFICATION authKW 580831 2% 88% 7
3 WORD EQUATIONS authKW 563215 4% 42% 14
4 GRAMMAR BASED COMPRESSION authKW 466848 2% 62% 8
5 HIGHER ORDER MATCHING authKW 284489 1% 100% 3
6 PILLAGE GAMES authKW 284489 1% 100% 3
7 STRING UNIFICATION authKW 252877 1% 67% 4
8 TREE COMPRESSION authKW 237069 2% 50% 5
9 ALGORITHMS FOR COMPRESSED DATA authKW 189660 1% 100% 2
10 AVL GRAMMAR authKW 189660 1% 100% 2

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 15786 61% 0% 195
2 Computer Science, Software Engineering 1964 18% 0% 59
3 Logic 1835 5% 0% 17
4 Computer Science, Artificial Intelligence 1318 17% 0% 55
5 Computer Science, Information Systems 649 12% 0% 39
6 Mathematics, Applied 431 16% 0% 50
7 Mathematics 212 12% 0% 40
8 Computer Science, Hardware & Architecture 144 4% 0% 13
9 Social Sciences, Mathematical Methods 42 2% 0% 5
10 COMPUTER APPLICATIONS & CYBERNETICS 34 0% 0% 1

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 ARTIFICIAL ELLIGENCE 94830 0% 100% 1
2 LEIBNIZIMAG 94830 0% 100% 1
3 SPECIFICAT VERI AT 94830 0% 100% 1
4 UMR 2673 94830 0% 100% 1
5 WOJCIECH PLANDOWSKI INFORMAT 94830 0% 100% 1
6 FB INFORMAT MATH 75861 1% 40% 2
7 PROGRAMMING LOG 75861 1% 40% 2
8 SYMBOL COMPUTAT 41554 2% 5% 8
9 UDG 37929 1% 20% 2
10 ABT INFORMAT SYST 31609 0% 33% 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 LECTURE NOTES IN COMPUTER SCIENCE 13226 34% 0% 111
2 JOURNAL OF SYMBOLIC COMPUTATION 12136 5% 1% 17
3 THEORETICAL COMPUTER SCIENCE 5958 8% 0% 26
4 COMPUTER LANGUAGES 5509 1% 1% 4
5 SIGPLAN NOTICES 3533 2% 0% 8
6 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 2511 7% 0% 21
7 LOGIC JOURNAL OF THE IGPL 2447 1% 1% 4
8 JOURNAL OF AUTOMATED REASONING 2153 1% 1% 4
9 MATHEMATICS OF THE USSR-IZVESTIYA 1732 1% 1% 3
10 INFORMATION PROCESSING LETTERS 1480 3% 0% 10

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 CONTEXT UNIFICATION 758638 2% 100% 8 Search CONTEXT+UNIFICATION Search CONTEXT+UNIFICATION
2 SECOND ORDER UNIFICATION 580831 2% 88% 7 Search SECOND+ORDER+UNIFICATION Search SECOND+ORDER+UNIFICATION
3 WORD EQUATIONS 563215 4% 42% 14 Search WORD+EQUATIONS Search WORD+EQUATIONS
4 GRAMMAR BASED COMPRESSION 466848 2% 62% 8 Search GRAMMAR+BASED+COMPRESSION Search GRAMMAR+BASED+COMPRESSION
5 HIGHER ORDER MATCHING 284489 1% 100% 3 Search HIGHER+ORDER+MATCHING Search HIGHER+ORDER+MATCHING
6 PILLAGE GAMES 284489 1% 100% 3 Search PILLAGE+GAMES Search PILLAGE+GAMES
7 STRING UNIFICATION 252877 1% 67% 4 Search STRING+UNIFICATION Search STRING+UNIFICATION
8 TREE COMPRESSION 237069 2% 50% 5 Search TREE+COMPRESSION Search TREE+COMPRESSION
9 ALGORITHMS FOR COMPRESSED DATA 189660 1% 100% 2 Search ALGORITHMS+FOR+COMPRESSED+DATA Search ALGORITHMS+FOR+COMPRESSED+DATA
10 AVL GRAMMAR 189660 1% 100% 2 Search AVL+GRAMMAR Search AVL+GRAMMAR

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 SCHMIDT-SCHAUSS, M , SCHULZ, KU , (2005) DECIDABILITY OF BOUNDED HIGHER-ORDER UNIFICATION.JOURNAL OF SYMBOLIC COMPUTATION. VOL. 40. ISSUE 2. P. 905 -954 20 91% 2
2 JEZ, A , LOHREY, M , (2016) APPROXIMATION OF SMALLEST LINEAR TREE GRAMMAR.INFORMATION AND COMPUTATION. VOL. 251. ISSUE . P. 215 -251 17 81% 0
3 LEVY, J , SCHMIDT-SCHAUSS, M , VILLARET, M , (2011) ON THE COMPLEXITY OF BOUNDED SECOND-ORDER UNIFICATION AND STRATIFIED CONTEXT UNIFICATION.LOGIC JOURNAL OF THE IGPL. VOL. 19. ISSUE 6. P. 763-789 16 94% 1
4 JEZ, A , (2016) RECOMPRESSION: A SIMPLE AND POWERFUL TECHNIQUE FOR WORD EQUATIONS.JOURNAL OF THE ACM. VOL. 63. ISSUE 1. P. - 12 92% 2
5 LEVY, J , SCHMIDT-SCHAUSS, M , VILLARET, M , (2006) STRATIFIED CONTEXT UNIFICATION IS NP-COMPLETE.AUTOMATED REASONING, PROCEEDINGS. VOL. 4130. ISSUE . P. 82-96 15 100% 0
6 KUTSIA, T , LEVY, J , VILLARET, M , (2010) ON THE RELATION BETWEEN CONTEXT AND SEQUENCE UNIFICATION.JOURNAL OF SYMBOLIC COMPUTATION. VOL. 45. ISSUE 1. P. 74-95 13 100% 0
7 LEVY, J , VILLARET, M , (2009) SIMPLIFYING THE SIGNATURE IN SECOND-ORDER UNIFICATION.APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING. VOL. 20. ISSUE 5-6. P. 427 -445 15 88% 0
8 LEVY, J , SCHMIDT-SCHAUSS, M , VILLARET, M , (2008) THE COMPLEXITY OF MONADIC SECOND-ORDER UNIFICATION.SIAM JOURNAL ON COMPUTING. VOL. 38. ISSUE 3. P. 1113 -1140 11 100% 4
9 SCHMIDT-SCHAUSS, M , (2004) DECIDABILITY OF BOUNDED SECOND ORDER UNIFICATION.INFORMATION AND COMPUTATION. VOL. 188. ISSUE 2. P. 143 -178 11 92% 5
10 GASCON, A , GODOY, G , SCHMIDT-SCHAUSS, M , (2011) UNIFICATION AND MATCHING ON COMPRESSED TERMS.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 12. ISSUE 4. P. - 12 67% 4

Classes with closest relation at Level 1


Rank Class id link
1 4014 TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC
2 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
3 9998 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR
4 31129 LANGUAGE EMBEDDINGS//INTERMEDIATE COMPILER TARGET LANGUAGES//LAZY FUNCTIONAL PROGRAMMING LANGUAGES
5 8988 JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL
6 11765 TEXT COMPRESSION//HUFFMAN CODES//DATA COMPRESSION
7 26372 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING
8 4944 SUFFIX TREE//SUFFIX ARRAY//STRING MATCHING
9 10371 INDUCTIVE INFERENCE//GRAMMATICAL INFERENCE//IDENTIFICATION IN THE LIMIT
10 36388 IMSI CATCHER//ADMINISTRATION TOOLS//APPLICATION FIREWALLS

Go to start page