Class information for: |
Basic class information |
Class id | #P | Avg. number of references |
Database coverage of references |
---|---|---|---|
31129 | 158 | 16.8 | 19% |
Hierarchy of classes |
The table includes all classes above and classes immediately below the current class. |
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 | LANGUAGE EMBEDDINGS | authKW | 434840 | 2% | 75% | 3 |
2 | INTERMEDIATE COMPILER TARGET LANGUAGES | authKW | 386525 | 1% | 100% | 2 |
3 | LAZY FUNCTIONAL PROGRAMMING LANGUAGES | authKW | 386525 | 1% | 100% | 2 |
4 | NON STRICT EVALUATION | authKW | 386525 | 1% | 100% | 2 |
5 | PROOF FINDING ALGORITHMS | authKW | 386525 | 1% | 100% | 2 |
6 | DACTL | authKW | 257682 | 1% | 67% | 2 |
7 | BRACKET ABSTRACTION | authKW | 193263 | 1% | 100% | 1 |
8 | CATEGORICAL COMBINATORS | authKW | 193263 | 1% | 100% | 1 |
9 | CCLIACC | address | 193263 | 1% | 100% | 1 |
10 | COMBINATORY COMPLETENESS | authKW | 193263 | 1% | 100% | 1 |
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 | 7312 | 59% | 0% | 93 |
2 | Logic | 6335 | 14% | 0% | 22 |
3 | Computer Science, Software Engineering | 546 | 14% | 0% | 22 |
4 | COMPUTER APPLICATIONS & CYBERNETICS | 292 | 1% | 0% | 2 |
5 | Mathematics | 232 | 18% | 0% | 28 |
6 | Computer Science, Hardware & Architecture | 184 | 6% | 0% | 10 |
7 | Computer Science, Information Systems | 139 | 8% | 0% | 13 |
8 | Philosophy | 34 | 3% | 0% | 4 |
9 | Mathematics, Applied | 14 | 5% | 0% | 8 |
10 | Computer Science, Artificial Intelligence | 1 | 1% | 0% | 2 |
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 | CCLIACC | 193263 | 1% | 100% | 1 |
2 | COMP SCI LIACC | 193263 | 1% | 100% | 1 |
3 | CRACS INESCTEC | 193263 | 1% | 100% | 1 |
4 | INFORMAT SYST DECLARAT SYST PROJECT | 193263 | 1% | 100% | 1 |
5 | LITP PARIS 6 | 193263 | 1% | 100% | 1 |
6 | RI UFR MATH INFORMAT | 193263 | 1% | 100% | 1 |
7 | DCC FC | 26653 | 1% | 7% | 2 |
8 | EQUIPE PREUVES PROGRAMMES SYST | 19324 | 1% | 10% | 1 |
9 | LIACC | 11216 | 2% | 2% | 3 |
10 | DCC | 6869 | 2% | 1% | 3 |
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 PROGRAMMING LANGUAGES | 31054 | 2% | 5% | 3 |
2 | COMPUTER LANGUAGES | 11236 | 3% | 1% | 4 |
3 | ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 9751 | 3% | 1% | 5 |
4 | JOURNAL OF SYMBOLIC LOGIC | 9596 | 8% | 0% | 12 |
5 | THEORETICAL COMPUTER SCIENCE | 7207 | 13% | 0% | 20 |
6 | LECTURE NOTES IN COMPUTER SCIENCE | 6863 | 35% | 0% | 56 |
7 | REPORTS ON MATHEMATICAL LOGIC | 4293 | 1% | 2% | 1 |
8 | STUDIES IN SOVIET THOUGHT | 1874 | 1% | 1% | 1 |
9 | ARCHIVE FOR MATHEMATICAL LOGIC | 1802 | 2% | 0% | 3 |
10 | SIGPLAN NOTICES | 1800 | 3% | 0% | 4 |
Author Key Words |
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 | BRODA, S , DAMAS, L , (2005) ON LONG NORMAL INHABITANTS OF A TYPE.JOURNAL OF LOGIC AND COMPUTATION. VOL. 15. ISSUE 3. P. 353 -390 | 9 | 100% | 6 |
2 | LINS, RD , (2004) PARTIAL CATEGORICAL MULTI-COMBINATORS AND CHURCH-ROSSER THEOREMS.JOURNAL OF UNIVERSAL COMPUTER SCIENCE. VOL. 10. ISSUE 7. P. 769-788 | 7 | 78% | 1 |
3 | GLAUERT, JRW , KENNAWAY, R , PAPADOPOULOS, GA , SLEEP, R , (1997) DACTL: AN EXPERIMENTAL GRAPH REWRITING LANGUAGE.JOURNAL OF PROGRAMMING LANGUAGES. VOL. 5. ISSUE 1. P. 85 -108 | 8 | 73% | 1 |
4 | ALVES, S , BRODA, S , (2015) A SHORT NOTE ON TYPE-INHABITATION: FORMULA-TREES VS. GAME SEMANTICS.INFORMATION PROCESSING LETTERS. VOL. 115. ISSUE 11. P. 908 -911 | 3 | 100% | 1 |
5 | KASHIMA, R , (2003) ON SEMILATTICE RELEVANT LOGICS.MATHEMATICAL LOGIC QUARTERLY. VOL. 49. ISSUE 4. P. 401-414 | 4 | 100% | 1 |
6 | VAN EEKELEN, M , SMETSERS, S , PLASMEIJER, R , (1997) GRAPH REWRITING SEMANTICS FOR FUNCTIONAL PROGRAMMING LANGUAGES.COMPUTER SCIENCE LOGIC. VOL. 1258. ISSUE . P. 106 -128 | 5 | 83% | 1 |
7 | BUNDER, MW , (1990) SOME IMPROVEMENTS TO TURNERS ALGORITHM FOR BRACKET ABSTRACTION.JOURNAL OF SYMBOLIC LOGIC. VOL. 55. ISSUE 2. P. 656-669 | 5 | 100% | 1 |
8 | KENNAWAY, R , SLEEP, R , (1988) DIRECTOR STRINGS AS COMBINATORS.ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. VOL. 10. ISSUE 4. P. 602-626 | 6 | 86% | 17 |
9 | BRODA, S , DAMAS, L , (2000) ON PRINCIPAL TYPES OF COMBINATORS.THEORETICAL COMPUTER SCIENCE. VOL. 247. ISSUE 1-2. P. 277-290 | 3 | 100% | 1 |
10 | HIROKAWA, S , KOMORI, Y , NAGAYAMA, M , (2000) A LAMBDA PROOF OF THE P-W THEOREM.JOURNAL OF SYMBOLIC LOGIC. VOL. 65. ISSUE 4. P. 1841-1849 | 3 | 100% | 0 |
Classes with closest relation at Level 1 |