Class information for:
Level 1: LINEAR LOGIC//IMPLICIT COMPUTATIONAL COMPLEXITY//COMPUTABILITY LOGIC

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
9328 1166 21.5 28%


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
9328 1                   LINEAR LOGIC//IMPLICIT COMPUTATIONAL COMPLEXITY//COMPUTABILITY LOGIC 1166

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 LINEAR LOGIC authKW 2746619 14% 66% 158
2 IMPLICIT COMPUTATIONAL COMPLEXITY authKW 1045473 4% 87% 46
3 COMPUTABILITY LOGIC authKW 812574 3% 97% 32
4 PROOF NETS authKW 770726 3% 89% 33
5 CUT ELIMINATION authKW 529741 5% 36% 56
6 GEOMETRY OF INTERACTION authKW 481172 2% 88% 21
7 LAMBEK CALCULUS authKW 469410 2% 81% 22
8 INTERACTIVE COMPUTATION authKW 374082 2% 71% 20
9 DEEP INFERENCE authKW 327327 1% 83% 15
10 PROOF THEORY authKW 274686 4% 23% 45

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 Logic 245089 32% 3% 371
2 Computer Science, Theory & Methods 39036 50% 0% 585
3 Mathematics 5141 29% 0% 343
4 Mathematics, Applied 3400 22% 0% 259
5 Computer Science, Software Engineering 2744 12% 0% 135
6 Computer Science, Artificial Intelligence 2711 13% 0% 152
7 Philosophy 241 2% 0% 29
8 Computer Science, Hardware & Architecture 57 2% 0% 18
9 Computer Science, Information Systems 55 2% 0% 28
10 History & Philosophy of Science 23 1% 0% 7

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 LANGUAGES E185 134672 1% 86% 6
2 PROJET CALLIGRAMME 134672 1% 86% 6
3 PREUVES PROGRAMMES SYST PPS 130933 0% 100% 5
4 THEORET TECH INFORMAT 83795 0% 80% 4
5 UMR 7650 81829 0% 63% 5
6 DISCRETE MATH GEOMETRY E104 59851 0% 57% 4
7 INRIA FOCUS TEAM 58918 0% 75% 3
8 J AN CYBER EDUC LTD 58918 0% 75% 3
9 ENSMN INPL 52373 0% 100% 2
10 HGEBIET KOMPLEXITATSTHEORIE 52373 0% 100% 2

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 ANNALS OF PURE AND APPLIED LOGIC 121958 8% 5% 98
2 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 87909 4% 8% 42
3 JOURNAL OF LOGIC AND COMPUTATION 71149 4% 5% 51
4 THEORETICAL COMPUTER SCIENCE 52759 13% 1% 147
5 LOGICAL METHODS IN COMPUTER SCIENCE 47834 3% 5% 34
6 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 46366 2% 7% 24
7 ARCHIVE FOR MATHEMATICAL LOGIC 29580 3% 3% 33
8 INFORMATION AND COMPUTATION 28555 4% 2% 48
9 LOGIC JOURNAL OF THE IGPL 22371 2% 4% 23
10 ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 21122 2% 4% 20

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 LINEAR LOGIC 2746619 14% 66% 158 Search LINEAR+LOGIC Search LINEAR+LOGIC
2 IMPLICIT COMPUTATIONAL COMPLEXITY 1045473 4% 87% 46 Search IMPLICIT+COMPUTATIONAL+COMPLEXITY Search IMPLICIT+COMPUTATIONAL+COMPLEXITY
3 COMPUTABILITY LOGIC 812574 3% 97% 32 Search COMPUTABILITY+LOGIC Search COMPUTABILITY+LOGIC
4 PROOF NETS 770726 3% 89% 33 Search PROOF+NETS Search PROOF+NETS
5 CUT ELIMINATION 529741 5% 36% 56 Search CUT+ELIMINATION Search CUT+ELIMINATION
6 GEOMETRY OF INTERACTION 481172 2% 88% 21 Search GEOMETRY+OF+INTERACTION Search GEOMETRY+OF+INTERACTION
7 LAMBEK CALCULUS 469410 2% 81% 22 Search LAMBEK+CALCULUS Search LAMBEK+CALCULUS
8 INTERACTIVE COMPUTATION 374082 2% 71% 20 Search INTERACTIVE+COMPUTATION Search INTERACTIVE+COMPUTATION
9 DEEP INFERENCE 327327 1% 83% 15 Search DEEP+INFERENCE Search DEEP+INFERENCE
10 PROOF THEORY 274686 4% 23% 45 Search PROOF+THEORY Search PROOF+THEORY

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 JAPARIDZE, G , (2015) ON THE SYSTEM CL12 OF COMPUTABILITY LOGIC.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 11. ISSUE 3. P. - 29 88% 0
2 JAPARIDZE, G , (2013) THE TAMING OF RECURRENCES IN COMPUTABILITY LOGIC THROUGH CIRQUENT CALCULUS, PART I.ARCHIVE FOR MATHEMATICAL LOGIC. VOL. 52. ISSUE 1-2. P. 173-212 22 96% 4
3 BAUER, MS , (2015) THE COMPUTATIONAL COMPLEXITY OF PROPOSITIONAL CIRQUENT CALCULUS.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 11. ISSUE 1. P. - 16 100% 0
4 JAPARIDZE, G , (2011) INTRODUCTION TO CLARITHMETIC I.INFORMATION AND COMPUTATION. VOL. 209. ISSUE 10. P. 1312 -1354 20 87% 1
5 BAILLOT, P , COPPOLA, P , DAL LAGO, U , (2011) LIGHT LOGICS AND OPTIMAL REDUCTION: COMPLETENESS AND COMPLEXITY.INFORMATION AND COMPUTATION. VOL. 209. ISSUE 2. P. 118 -142 17 100% 1
6 BOUDES, P , MAZZA, D , DE FALCO, LT , (2015) AN ABSTRACT APPROACH TO STRATIFICATION IN LINEAR LOGIC.INFORMATION AND COMPUTATION. VOL. 241. ISSUE . P. 32 -61 15 100% 0
7 JAPARIDZE, G , (2012) SEPARATING THE BASIC LOGICS OF THE BASIC RECURRENCES.ANNALS OF PURE AND APPLIED LOGIC. VOL. 163. ISSUE 3. P. 377 -389 14 100% 2
8 JAPARIDZE, G , (2011) FROM FORMULAS TO CIRQUENTS IN COMPUTABILITY LOGIC.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 7. ISSUE 2. P. - 15 94% 5
9 BAILLOT, P , TERUI, K , (2009) LIGHT TYPES FOR POLYNOMIAL TIME COMPUTATION IN LAMBDA CALCULUS.INFORMATION AND COMPUTATION. VOL. 207. ISSUE 1. P. 41 -62 15 94% 17
10 KAHRAMANOGULLARI, O , (2014) INTERACTION AND DEPTH AGAINST NONDETERMINISM IN PROOF SEARCH.LOGICAL METHODS IN COMPUTER SCIENCE. VOL. 10. ISSUE 2. P. - 13 100% 0

Classes with closest relation at Level 1


Rank Class id link
1 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
2 12559 PROOF THEORETIC SEMANTICS//RELEVANT LOGIC//JOURNAL OF PHILOSOPHICAL LOGIC
3 22155 JUSTIFICATION LOGIC//LOGIC OF PROOFS//REALIZATION THEOREM
4 31129 LANGUAGE EMBEDDINGS//INTERMEDIATE COMPILER TARGET LANGUAGES//LAZY FUNCTIONAL PROGRAMMING LANGUAGES
5 8988 JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL
6 14361 BOUNDED ARITHMETIC//PROOF COMPLEXITY//PROPOSITIONAL PROOF COMPLEXITY
7 8999 PI CALCULUS//PROCESS CALCULI//SESSION TYPES
8 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
9 9998 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR
10 26372 PROOF PLANNING//DEDUCTIVE PROGRAM SYNTHESIS//PROOF PATCHING

Go to start page