Class information for: |
Basic class information |
| Class id | #P | Avg. number of references |
Database coverage of references |
|---|---|---|---|
| 26855 | 243 | 19.0 | 18% |
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 | ABSTRACT RECURSION THEORY | authKW | 125660 | 0% | 100% | 1 |
| 2 | CODED REWRITING | authKW | 125660 | 0% | 100% | 1 |
| 3 | EFFECTIVELY FINITE PARTIAL ORDER | authKW | 125660 | 0% | 100% | 1 |
| 4 | FINITE STATE ACCEPTOR | authKW | 125660 | 0% | 100% | 1 |
| 5 | GENERAL PROGRAMS | authKW | 125660 | 0% | 100% | 1 |
| 6 | GENERAL RECURSIVE FUNCTIONS | authKW | 125660 | 0% | 100% | 1 |
| 7 | IMPRECISE COMPUTATION TECHNIQUES AND RESULTING ERRORS | authKW | 125660 | 0% | 100% | 1 |
| 8 | IND PROGRAMS | authKW | 125660 | 0% | 100% | 1 |
| 9 | LOGICAL COMPLETENESS | authKW | 125660 | 0% | 100% | 1 |
| 10 | LOOP PROGRAMS | authKW | 125660 | 0% | 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 | 14289 | 66% | 0% | 161 |
| 2 | COMPUTER APPLICATIONS & CYBERNETICS | 1193 | 2% | 0% | 5 |
| 3 | Computer Science, Software Engineering | 798 | 14% | 0% | 33 |
| 4 | Computer Science, Information Systems | 793 | 15% | 0% | 37 |
| 5 | Computer Science, Hardware & Architecture | 656 | 9% | 0% | 23 |
| 6 | Mathematics, Applied | 330 | 16% | 0% | 38 |
| 7 | Mathematics | 239 | 15% | 0% | 36 |
| 8 | Logic | 204 | 2% | 0% | 5 |
| 9 | Engineering, Manufacturing | 0 | 0% | 0% | 1 |
| 10 | Automation & Control Systems | -0 | 0% | 0% | 1 |
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 | PROC CONTROL REAL TIME SYST | 125660 | 0% | 100% | 1 |
| 2 | INFORMAT PROGRAMAC | 62829 | 0% | 50% | 1 |
| 3 | MPS UNIT | 6281 | 0% | 5% | 1 |
| 4 | EQUAT | 1394 | 0% | 1% | 1 |
| 5 | INTELLIGENT INFORMAT PROC | 536 | 1% | 0% | 2 |
| 6 | STATE COMP SCI | 338 | 0% | 0% | 1 |
| 7 | COMP TECHNOL | 165 | 1% | 0% | 2 |
| 8 | COMPUTAT MATH CYBERNET | 133 | 0% | 0% | 1 |
| 9 | QUEEN MARY | 125 | 0% | 0% | 1 |
| 10 | COMP SOFTWARE | 114 | 0% | 0% | 1 |
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 | INFORMATION AND CONTROL | 83621 | 6% | 4% | 15 |
| 2 | ACTA INFORMATICA | 25305 | 6% | 1% | 15 |
| 3 | THEORETICAL COMPUTER SCIENCE | 17840 | 16% | 0% | 39 |
| 4 | IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA | 17803 | 5% | 1% | 11 |
| 5 | MATHEMATICAL SYSTEMS THEORY | 9777 | 2% | 2% | 5 |
| 6 | JOURNAL OF THE ACM | 7130 | 4% | 1% | 9 |
| 7 | CYBERNETICS | 6739 | 2% | 1% | 4 |
| 8 | JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 4655 | 4% | 0% | 9 |
| 9 | LECTURE NOTES IN COMPUTER SCIENCE | 4585 | 23% | 0% | 57 |
| 10 | INFORMATION AND COMPUTATION | 2910 | 3% | 0% | 7 |
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 | HORTALAGONZALEZ, MT , RODRIGUEZARTALEJO, M , (1989) HOARE LOGIC FOR NONDETERMINISTIC REGULAR PROGRAMS - A NONSTANDARD APPROACH.THEORETICAL COMPUTER SCIENCE. VOL. 68. ISSUE 3. P. 277-302 | 17 | 94% | 0 |
| 2 | KFOURY, AJ , STOLBOUSHKIN, AP , URZYCZYN, P , (1989) SOME OPEN QUESTIONS IN THE THEORY OF PROGRAM SCHEMES AND DYNAMIC LOGICS.RUSSIAN MATHEMATICAL SURVEYS. VOL. 44. ISSUE 1. P. 43-68 | 19 | 79% | 2 |
| 3 | PASZTOR, A , (1990) RECURSIVE-PROGRAMS AND DENOTATIONAL SEMANTICS IN ABSOLUTE LOGICS OF PROGRAMS.THEORETICAL COMPUTER SCIENCE. VOL. 70. ISSUE 1. P. 127-150 | 12 | 100% | 1 |
| 4 | HORTALAGONZALEZ, MT , LUCIOCARRASCO, F , RODRIGUEZARTALEJO, M , (1988) SOME GENERAL INCOMPLETENESS RESULTS FOR PARTIAL CORRECTNESS LOGICS.INFORMATION AND COMPUTATION. VOL. 79. ISSUE 1. P. 22 -42 | 11 | 100% | 0 |
| 5 | BIRO, B , SAIN, I , (1993) PEANO ARITHMETIC AS AXIOMATIZATION OF THE TIME FRAME IN LOGICS OF PROGRAMS AND IN DYNAMIC LOGICS.ANNALS OF PURE AND APPLIED LOGIC. VOL. 63. ISSUE 3. P. 201-225 | 8 | 100% | 0 |
| 6 | XU, ZW , SUI, YF , ZHANG, WH , (2016) COMPLETENESS OF HOARE LOGIC WITH INPUTS OVER THE STANDARD MODEL.THEORETICAL COMPUTER SCIENCE. VOL. 612. ISSUE . P. 23 -28 | 4 | 100% | 0 |
| 7 | ANDREKA, H , NEMETI, I , SAIN, I , (1991) ON THE STRENGTH OF TEMPORAL PROOFS.THEORETICAL COMPUTER SCIENCE. VOL. 80. ISSUE 2. P. 125 -151 | 9 | 90% | 3 |
| 8 | GOERDT, A , (1988) HOARE CALCULI FOR HIGHER-TYPE CONTROL-STRUCTURES AND THEIR COMPLETENESS IN THE SENSE OF COOK.LECTURE NOTES IN COMPUTER SCIENCE. VOL. 324. ISSUE . P. 329-338 | 9 | 100% | 0 |
| 9 | PASZTOR, A , (1988) NONSTANDARD LOGICS OF RECURSIVE-PROGRAMS AND DENOTATIONAL SEMANTICS.LECTURE NOTES IN COMPUTER SCIENCE <D>. VOL. 343. ISSUE . P. 255 -278 | 9 | 100% | 0 |
| 10 | MAKOWSKY, JA , SAIN, I , (1989) WEAK 2ND ORDER CHARACTERIZATIONS OF VARIOUS PROGRAM VERIFICATION SYSTEMS.THEORETICAL COMPUTER SCIENCE. VOL. 66. ISSUE 3. P. 299-321 | 10 | 83% | 2 |
Classes with closest relation at Level 1 |