Class information for:
Level 2: LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
1026 9754 24.7 23%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 3)


ID, lev.
above		 Publications Label for level above
90 75221 COMPUTER SCIENCE, SOFTWARE ENGINEERING//COMPUTER SCIENCE, THEORY & METHODS//ACM SIGPLAN NOTICES

Classes in level below (level 1)


ID, lev. below Publications Label for level below
3590 1876 LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS
3933 1803 JOURNAL OF LOGIC PROGRAMMING//THEORY AND PRACTICE OF LOGIC PROGRAMMING//ABSTRACT INTERPRETATION
4296 1734 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
4777 1655 TERM REWRITING//LUFG INFORMAT 2//TERM REWRITING SYSTEMS
9983 1038 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MODEL ELIMINATION
11970 877 PARTIAL EVALUATION//CPS TRANSFORMATION//BINDING TIME ANALYSIS
19958 419 CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM
25091 243 FUNCTIONAL REACTIVE PROGRAMMING//LANGUAGE EMBEDDINGS//DACTL
32375 109 LEARNING AGENTS//CICID//PHYSICAL DIMENSIONS

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of publ.
in class
1 LAMBDA CALCULUS Author keyword 235 64% 2% 230
2 JOURNAL OF AUTOMATED REASONING Journal 191 47% 3% 303
3 LINEAR LOGIC Author keyword 184 64% 2% 178
4 JOURNAL OF LOGIC PROGRAMMING Journal 133 47% 2% 208
5 LECTURE NOTES IN COMPUTER SCIENCE Journal 131 12% 11% 1069
6 JOURNAL OF FUNCTIONAL PROGRAMMING Journal 122 55% 2% 152
7 PROOF NETS Author keyword 121 97% 0% 34
8 TERM REWRITING Author keyword 105 59% 1% 119
9 GAME SEMANTICS Author keyword 104 73% 1% 80
10 ACM SIGPLAN NOTICES Journal 98 14% 6% 625

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class		 LCSH search Wikipedia search
1 LAMBDA CALCULUS 235 64% 2% 230 Search LAMBDA+CALCULUS Search LAMBDA+CALCULUS
2 LINEAR LOGIC 184 64% 2% 178 Search LINEAR+LOGIC Search LINEAR+LOGIC
3 PROOF NETS 121 97% 0% 34 Search PROOF+NETS Search PROOF+NETS
4 TERM REWRITING 105 59% 1% 119 Search TERM+REWRITING Search TERM+REWRITING
5 GAME SEMANTICS 104 73% 1% 80 Search GAME+SEMANTICS Search GAME+SEMANTICS
6 COMPUTABILITY LOGIC 98 100% 0% 29 Search COMPUTABILITY+LOGIC Search COMPUTABILITY+LOGIC
7 AUTOMATED THEOREM PROVING 80 54% 1% 103 Search AUTOMATED+THEOREM+PROVING Search AUTOMATED+THEOREM+PROVING
8 INTERSECTION TYPES 58 83% 0% 33 Search INTERSECTION+TYPES Search INTERSECTION+TYPES
9 PARTIAL EVALUATION 56 51% 1% 78 Search PARTIAL+EVALUATION Search PARTIAL+EVALUATION
10 LANGUAGES 55 13% 4% 385 Search LANGUAGES Search LANGUAGES

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 LINEAR LOGIC 173 53% 2% 227
2 LAMBDA CALCULUS 134 61% 1% 142
3 TERM REWRITING SYSTEMS 133 73% 1% 102
4 PROLOG 110 52% 2% 152
5 ABSTRACT INTERPRETATION 69 50% 1% 99
6 LOGIC PROGRAMS 64 28% 2% 198
7 PARTIAL DEDUCTION 60 80% 0% 37
8 DIRECT SUM 53 69% 0% 46
9 GAME SEMANTICS 45 90% 0% 19
10 FULL ABSTRACTION 39 53% 1% 52

Journals


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of publ.
in class
1 JOURNAL OF AUTOMATED REASONING 191 47% 3% 303
2 JOURNAL OF LOGIC PROGRAMMING 133 47% 2% 208
3 LECTURE NOTES IN COMPUTER SCIENCE 131 12% 11% 1069
4 JOURNAL OF FUNCTIONAL PROGRAMMING 122 55% 2% 152
5 ACM SIGPLAN NOTICES 98 14% 6% 625
6 INFORMATION AND COMPUTATION 48 15% 3% 298
7 LOGICAL METHODS IN COMPUTER SCIENCE 40 25% 1% 141
8 NEW GENERATION COMPUTING 38 24% 1% 138
9 THEORY AND PRACTICE OF LOGIC PROGRAMMING 36 28% 1% 111
10 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 36 22% 1% 141

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
The TPTP problem library - CNF release v1.2.1 1998 104 21 86%
ABSTRACT INTERPRETATION AND APPLICATION TO LOGIC PROGRAMS 1992 213 16 69%
Functional Logic Programming 2010 15 9 89%
Parallel execution of prolog programs: A survey 2001 38 66 86%
Logic program specialisation through partial deduction: Control issues 2002 24 50 96%
CONSTRAINT LOGIC PROGRAMMING - A SURVEY 1994 86 45 44%
A syntactic correspondence between context-sensitive calculi and abstract machines 2007 5 18 83%
A taxonomy of parallel strategies for deduction 2000 8 34 94%
Abstract machines for programming language implementation 2000 13 17 65%
A RATIONAL DECONSTRUCTION OF LANDIN'S SECD MACHINE WITH THE J OPERATOR 2008 2 20 85%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ. in
class
1 LUFG INFORMAT 2 47 88% 0.2% 22
2 DIKU 28 45% 0.5% 47
3 PPS 25 43% 0.5% 44
4 EQUIPE PREUVES PROGRAMMES SYST 23 100% 0.1% 10
5 DSIC 23 33% 0.6% 56
6 UMR 7126 22 62% 0.2% 23
7 PREUVES PROGRAMMES SYST 17 70% 0.1% 14
8 SOFTWARE PROD TECHNOL 15 88% 0.1% 7
9 COMP LANGUAGES E185 12 86% 0.1% 6
10 PROJET CALLIGRAMME 12 86% 0.1% 6

Related classes at same level (level 2)


Rank Relatedness score Related classes
1 0.0000021989 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE
2 0.0000017422 ACM SIGPLAN NOTICES//REGISTER ALLOCATION//GARBAGE COLLECTION
3 0.0000013665 NONMONOTONIC REASONING//ANSWER SET PROGRAMMING//DEFAULT LOGIC
4 0.0000013268 FUZZY TOPOLOGY//APPLIED CATEGORICAL STRUCTURES//FUZZY SETS AND SYSTEMS
5 0.0000008638 ALGEBRA UNIVERSALIS//MV ALGEBRA//NATURAL DUALITY
6 0.0000007931 CONSTRAINTS//INDUCTIVE INFERENCE//PAC LEARNING
7 0.0000007330 LOGIC//JOURNAL OF SYMBOLIC LOGIC//ANNALS OF PURE AND APPLIED LOGIC
8 0.0000007114 ACM TRANSACTIONS ON DATABASE SYSTEMS//INFORMATION SYSTEMS//DATA & KNOWLEDGE ENGINEERING
9 0.0000007022 INFORMATION AND SOFTWARE TECHNOLOGY//IEEE SOFTWARE//JOURNAL OF SYSTEMS AND SOFTWARE
10 0.0000004848 TOWERS OF HANOI//SIERPINSKI GRAPHS//SIERPINSKI GRAPH