Class information for:
Level 2: COMPUTER SCIENCE, THEORY & METHODS//JOURNAL OF AUTOMATED REASONING//LAMBDA CALCULUS

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
708 12890 25.1 23%


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
4014 1                   TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC 1863
5729 1                   LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES 1582
7591 1                   JOURNAL OF LOGIC PROGRAMMING//LOGIC PROGRAMMING//ABSTRACT INTERPRETATION 1349
8192 1                   PARTIAL EVALUATION//PROGRAM TRANSFORMATION//PROGRAM SPECIALIZATION 1282
8988 1                   JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL 1199
9328 1                   LINEAR LOGIC//IMPLICIT COMPUTATIONAL COMPLEXITY//COMPUTABILITY LOGIC 1166
9998 1                   JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR 1100
10757 1                   ALGEBRAIC SPECIFICATION//CAFEOBJ//BISS 1037
17598 1                   COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA 591
18723 1                   THEOREM PROVING//SYMBOLIC TRAJECTORY EVALUATION//MULTIWAY DECISION GRAPHS 538
24140 1                   CONTEXT UNIFICATION//SECOND ORDER UNIFICATION//WORD EQUATIONS 322
26372 1                   PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING 256
26848 1                   COMPUTABLE SET THEORY//HEREDITARILY FINITE SETS//EXTENSIONAL DIGRAPH 244
28600 1                   ORDER SORTED LOGIC//FEATURE LOGIC//PSI TERMS 203
31129 1                   LANGUAGE EMBEDDINGS//INTERMEDIATE COMPILER TARGET LANGUAGES//LAZY FUNCTIONAL PROGRAMMING LANGUAGES 158

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 COMPUTER SCIENCE, THEORY & METHODS WoSSC 544685 56% 3% 7254
2 JOURNAL OF AUTOMATED REASONING journal 531070 3% 57% 397
3 LAMBDA CALCULUS authKW 474834 2% 81% 249
4 LECTURE NOTES IN COMPUTER SCIENCE journal 377746 29% 4% 3759
5 LINEAR LOGIC authKW 358945 1% 80% 190
6 LOGIC WoSSC 303148 11% 9% 1376
7 ACM SIGPLAN NOTICES journal 257385 6% 15% 726
8 JOURNAL OF FUNCTIONAL PROGRAMMING journal 255742 1% 58% 186
9 THEORETICAL COMPUTER SCIENCE journal 244612 8% 10% 1054
10 JOURNAL OF LOGIC PROGRAMMING journal 241554 2% 48% 212

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 544685 56% 3% 7254
2 Logic 303148 11% 9% 1376
3 Computer Science, Software Engineering 160528 26% 2% 3346
4 Computer Science, Artificial Intelligence 43997 16% 1% 2018
5 Mathematics, Applied 11057 13% 0% 1640
6 Computer Science, Information Systems 10260 8% 1% 1012
7 Computer Science, Hardware & Architecture 10165 5% 1% 678
8 Mathematics 4271 9% 0% 1202
9 COMPUTER APPLICATIONS & CYBERNETICS 1235 0% 1% 38
10 Philosophy 125 1% 0% 94

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 COMP SCI 66203 16% 1% 2095
2 DIKU 58129 0% 47% 52
3 CHAIR SOFTWARE TECHNOL 54533 0% 96% 24
4 PPS 53725 0% 44% 52
5 BISS 51607 0% 84% 26
6 DSIC 51253 0% 34% 63
7 FDN COMP SCI 44862 0% 30% 63
8 LUFG INFORMAT 2 44710 0% 82% 23
9 DIPARTIMENTO INFORMAT 44002 2% 8% 238
10 LFCS 30742 0% 34% 38

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 AUTOMATED REASONING 531070 3% 57% 397
2 LECTURE NOTES IN COMPUTER SCIENCE 377746 29% 4% 3759
3 ACM SIGPLAN NOTICES 257385 6% 15% 726
4 JOURNAL OF FUNCTIONAL PROGRAMMING 255742 1% 58% 186
5 THEORETICAL COMPUTER SCIENCE 244612 8% 10% 1054
6 JOURNAL OF LOGIC PROGRAMMING 241554 2% 48% 212
7 INFORMATION AND COMPUTATION 156594 3% 18% 374
8 LOGICAL METHODS IN COMPUTER SCIENCE 136362 1% 30% 191
9 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 101227 1% 29% 150
10 NEW GENERATION COMPUTING 89132 1% 25% 150

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 LAMBDA CALCULUS 474834 2% 81% 249 Search LAMBDA+CALCULUS Search LAMBDA+CALCULUS
2 LINEAR LOGIC 358945 1% 80% 190 Search LINEAR+LOGIC Search LINEAR+LOGIC
3 TERM REWRITING 227214 1% 74% 130 Search TERM+REWRITING Search TERM+REWRITING
4 AUTOMATED THEOREM PROVING 209344 1% 72% 123 Search AUTOMATED+THEOREM+PROVING Search AUTOMATED+THEOREM+PROVING
5 GAME SEMANTICS 171600 1% 84% 86 Search GAME+SEMANTICS Search GAME+SEMANTICS
6 COALGEBRA 156882 1% 52% 128 Search COALGEBRA Search COALGEBRA
7 LOGIC PROGRAMMING 154676 2% 30% 215 Search LOGIC+PROGRAMMING Search LOGIC+PROGRAMMING
8 LANGUAGES 147499 3% 15% 411 Search LANGUAGES Search LANGUAGES
9 THEOREM PROVING 144079 1% 42% 145 Search THEOREM+PROVING Search THEOREM+PROVING
10 ALGEBRAIC SPECIFICATION 140908 1% 67% 89 Search ALGEBRAIC+SPECIFICATION Search ALGEBRAIC+SPECIFICATION

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 MARTI-OLIET, N , PALOMINO, M , VERDEJO, A , (2012) REWRITING LOGIC BIBLIOGRAPHY BY TOPIC: 1990-2011.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. VOL. 81. ISSUE 7-8. P. 782 -815 146 79% 4
2 MESEGUER, J , (2012) TWENTY YEARS OF REWRITING LOGIC.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. VOL. 81. ISSUE 7-8. P. 721 -781 63 70% 26
3 GUPTA, G , PONTELLI, E , ALI, KAM , CARLSSON, M , HERMENEGILDO, MV , (2001) PARALLEL EXECUTION OF PROLOG PROGRAMS: A SURVEY.ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. VOL. 23. ISSUE 4. P. 472 -602 62 87% 44
4 GRAMLICH, B , (2012) MODULARITY IN TERM REWRITING REVISITED.THEORETICAL COMPUTER SCIENCE. VOL. 464. ISSUE . P. 3 -19 38 100% 1
5 FELTY, A , MOMIGLIANO, A , (2012) HYBRID.JOURNAL OF AUTOMATED REASONING. VOL. 48. ISSUE 1. P. 43 -105 38 95% 3
6 LEUSCHEL, M , BRUYNOOGHE, M , (2002) LOGIC PROGRAM SPECIALISATION THROUGH PARTIAL DEDUCTION: CONTROL ISSUES.THEORY AND PRACTICE OF LOGIC PROGRAMMING. VOL. 2. ISSUE . P. 461 -515 49 92% 26
7 BLANQUI, F , (2016) TERMINATION OF REWRITE RELATIONS ON LAMBDA-TERMS BASED ON GIRARD'S NOTION OF REDUCIBILITY.THEORETICAL COMPUTER SCIENCE. VOL. 611. ISSUE . P. 50 -86 28 100% 0
8 BOUHOULA, A , JOUANNAUD, JP , MESEGUER, J , (2000) SPECIFICATION AND PROOF IN MEMBERSHIP EQUATIONAL LOGIC.THEORETICAL COMPUTER SCIENCE. VOL. 236. ISSUE 1-2. P. 35 -132 39 100% 62
9 PETTOROSSI, A , PROIETTI, M , (1994) TRANSFORMATION OF LOGIC PROGRAMS - FOUNDATIONS AND TECHNIQUES.JOURNAL OF LOGIC PROGRAMMING. VOL. 20. ISSUE . P. 261 -320 48 96% 77
10 SCHNEIDER-KAMP, P , GIESL, J , SEREBRENIK, A , THIEMANN, R , (2009) AUTOMATED TERMINATION PROOFS FOR LOGIC PROGRAMS BY TERM REWRITING.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. VOL. 11. ISSUE 1. P. - 33 94% 6

Classes with closest relation at Level 2


Rank Class id link
1 237 COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//MODEL CHECKING
2 2659 MV ALGEBRA//LOGIC//BL ALGEBRA
3 1635 APPLIED CATEGORICAL STRUCTURES//FUZZY TOPOLOGY//FUZZY SETS AND SYSTEMS
4 1122 NONMONOTONIC REASONING//ANSWER SET PROGRAMMING//LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
5 1506 SIGPLAN NOTICES//COMPUTER SCIENCE, SOFTWARE ENGINEERING//SOFTWARE-PRACTICE & EXPERIENCE
6 1890 CONSTRAINTS//BOUNDED ARITHMETIC//PROOF COMPLEXITY
7 1913 ACM SIGPLAN NOTICES//GARBAGE COLLECTION//REGISTER ALLOCATION
8 539 COMPUTER SCIENCE, SOFTWARE ENGINEERING//INFORMATION AND SOFTWARE TECHNOLOGY//IEEE SOFTWARE
9 2585 LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC
10 1059 MEMBRANE COMPUTING//THEORETICAL COMPUTER SCIENCE//P SYSTEMS

Go to start page