Class information for:
Level 1: LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
3590 1876 22.5 26%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
1026 9754 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC

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 LINEAR LOGIC Author keyword 153 60% 9% 166
2 COMPUTABILITY LOGIC Author keyword 98 100% 2% 29
3 PROOF NETS Author keyword 94 94% 2% 33
4 GAME SEMANTICS Author keyword 89 69% 4% 76
5 IMPLICIT COMPUTATIONAL COMPLEXITY Author keyword 40 66% 2% 37
6 CUT ELIMINATION Author keyword 36 42% 4% 66
7 GEOMETRY OF INTERACTION Author keyword 28 81% 1% 17
8 LAMBEK CALCULUS Author keyword 27 72% 1% 21
9 DEEP INFERENCE Author keyword 21 78% 1% 14
10 EQUIPE PREUVES PROGRAMMES SYST Address 21 90% 0% 9

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 LINEAR LOGIC 153 60% 9% 166 Search LINEAR+LOGIC Search LINEAR+LOGIC
2 COMPUTABILITY LOGIC 98 100% 2% 29 Search COMPUTABILITY+LOGIC Search COMPUTABILITY+LOGIC
3 PROOF NETS 94 94% 2% 33 Search PROOF+NETS Search PROOF+NETS
4 GAME SEMANTICS 89 69% 4% 76 Search GAME+SEMANTICS Search GAME+SEMANTICS
5 IMPLICIT COMPUTATIONAL COMPLEXITY 40 66% 2% 37 Search IMPLICIT+COMPUTATIONAL+COMPLEXITY Search IMPLICIT+COMPUTATIONAL+COMPLEXITY
6 CUT ELIMINATION 36 42% 4% 66 Search CUT+ELIMINATION Search CUT+ELIMINATION
7 GEOMETRY OF INTERACTION 28 81% 1% 17 Search GEOMETRY+OF+INTERACTION Search GEOMETRY+OF+INTERACTION
8 LAMBEK CALCULUS 27 72% 1% 21 Search LAMBEK+CALCULUS Search LAMBEK+CALCULUS
9 DEEP INFERENCE 21 78% 1% 14 Search DEEP+INFERENCE Search DEEP+INFERENCE
10 CALCULUS OF STRUCTURES 18 83% 1% 10 Search CALCULUS+OF+STRUCTURES Search CALCULUS+OF+STRUCTURES

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 144 50% 11% 211
2 GAME SEMANTICS 35 86% 1% 18
3 FULL ABSTRACTION 27 45% 2% 45
4 CIRQUENT CALCULUS 26 100% 1% 11
5 PCF 21 34% 3% 49
6 CUT ELIMINATION 19 48% 2% 30
7 LAMBDA CALCULUS 17 25% 3% 59
8 MONADS 17 30% 3% 47
9 CLASSICAL NATURAL DEDUCTION 17 75% 1% 12
10 WEAKLY DISTRIBUTIVE CATEGORIES 17 100% 0% 8

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 LOGICAL METHODS IN COMPUTER SCIENCE 10 13% 4% 73
2 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 7 12% 3% 57

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Jean-Yves Girard, the villain logician. 2005 0 1 100%
Proof-search in type-theoretic languages: an introduction 2000 1 50 52%
Review of the paper 'Concurrent systems analysis using ECATNets' by F. Belala 2002 0 4 50%

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 EQUIPE PREUVES PROGRAMMES SYST 21 90% 0.5% 9
2 COMP LANGUAGES E185 12 86% 0.3% 6
3 PROJET CALLIGRAMME 12 86% 0.3% 6
4 PREUVES PROGRAMMES SYST PPS 8 100% 0.3% 5
5 PREUVES PROGRAMMES SYST 7 50% 0.5% 10
6 THEORET TECH INFORMAT 6 80% 0.2% 4
7 UMR 7126 6 35% 0.7% 13
8 LFCS 5 22% 1.2% 22
9 UMR 7650 5 63% 0.3% 5
10 CNRS UMR 8548 4 75% 0.2% 3

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000228610 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
2 0.0000117864 CHAIR SOFTWARE TECHNOL//COALGEBRA//FINAL COALGEBRA
3 0.0000111191 PARTIAL EVALUATION//CPS TRANSFORMATION//BINDING TIME ANALYSIS
4 0.0000101789 LOGIC OF PROOFS//JUSTIFICATION LOGIC//ADMISSIBLE RULES
5 0.0000101353 APPLIED CATEGORICAL STRUCTURES//THEORY AND APPLICATIONS OF CATEGORIES//APPROACH SPACE
6 0.0000081865 BYTECODE VERIFICATION//PREVENT INFORMATION LEAKAGE//SEPARATION LOGIC
7 0.0000078459 FUNCTIONAL REACTIVE PROGRAMMING//LANGUAGE EMBEDDINGS//DACTL
8 0.0000076908 REVERSE MATHEMATICS//APPLICATIVE THEORIES//EXPLICIT MATHEMATICS
9 0.0000065748 LAWSON COMPACT//LOCALLY CONVEX CONES//CONTINUOUS POSET
10 0.0000061926 PROCESS CALCULI//PI CALCULUS//THE PI CALCULUS