Class information for:
Level 1: ALGEBRAIC SPECIFICATION//CAFEOBJ//BISS

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
10757 1037 26.3 21%


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
10757 1                   ALGEBRAIC SPECIFICATION//CAFEOBJ//BISS 1037

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 ALGEBRAIC SPECIFICATION authKW 993734 6% 50% 67
2 CAFEOBJ authKW 500553 2% 100% 17
3 BISS address 213693 1% 48% 15
4 EQUIVALENT DEDUCTIVE SYSTEMS authKW 206110 1% 100% 7
5 EQUIVALENT INSTITUTIONS authKW 206110 1% 100% 7
6 ALGEBRAIZABLE INSTITUTIONS authKW 176666 1% 100% 6
7 ALGEBRAIZABLE LOGICS authKW 163571 1% 56% 10
8 BREMEN SAFE SYST address 144273 1% 70% 7
9 LEIBNIZ CONGRUENCE authKW 132496 1% 75% 6
10 STRUCTURED SPECIFICATIONS authKW 122683 0% 83% 5

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 62593 67% 0% 696
2 Logic 11753 7% 1% 77
3 Computer Science, Software Engineering 6054 18% 0% 186
4 Computer Science, Information Systems 2106 12% 0% 126
5 COMPUTER APPLICATIONS & CYBERNETICS 1107 1% 0% 10
6 Mathematics, Applied 787 12% 0% 125
7 Mathematics 501 11% 0% 113
8 Computer Science, Artificial Intelligence 495 6% 0% 65
9 Computer Science, Hardware & Architecture 443 4% 0% 41
10 Mathematics, Interdisciplinary Applications 48 2% 0% 21

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 BISS 213693 1% 48% 15
2 BREMEN SAFE SYST 144273 1% 70% 7
3 SECT THEORY COMP SCI 67298 0% 57% 4
4 GRP PROJECT ID 3 0439 58889 0% 100% 2
5 LENG SIST INF 58889 0% 100% 2
6 CIDMA RD MATH PLICAT 52997 0% 60% 3
7 FDN COMP SCI 40684 2% 8% 17
8 BAYER AG FOR UNGSZENTRUM WISSENSBASIERTE SYST 29444 0% 100% 1
9 BREMENT SAFE SYST 29444 0% 100% 1
10 CITE TECNOL COMMUN 29444 0% 100% 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 LECTURE NOTES IN COMPUTER SCIENCE 71100 44% 1% 461
2 THEORETICAL COMPUTER SCIENCE 28517 10% 1% 102
3 ACTA INFORMATICA 23687 3% 3% 30
4 ALGEBRA UNIVERSALIS 7963 2% 1% 22
5 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 7188 1% 3% 9
6 TSI-TECHNIQUE ET SCIENCE INFORMATIQUES 5948 1% 3% 7
7 SCIENCE OF COMPUTER PROGRAMMING 5886 2% 1% 18
8 REPORTS ON MATHEMATICAL LOGIC 5883 0% 7% 3
9 JOURNAL OF LOGIC AND COMPUTATION 5179 1% 1% 13
10 APPLIED CATEGORICAL STRUCTURES 5018 1% 2% 11

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 ALGEBRAIC SPECIFICATION 993734 6% 50% 67 Search ALGEBRAIC+SPECIFICATION Search ALGEBRAIC+SPECIFICATION
2 CAFEOBJ 500553 2% 100% 17 Search CAFEOBJ Search CAFEOBJ
3 EQUIVALENT DEDUCTIVE SYSTEMS 206110 1% 100% 7 Search EQUIVALENT+DEDUCTIVE+SYSTEMS Search EQUIVALENT+DEDUCTIVE+SYSTEMS
4 EQUIVALENT INSTITUTIONS 206110 1% 100% 7 Search EQUIVALENT+INSTITUTIONS Search EQUIVALENT+INSTITUTIONS
5 ALGEBRAIZABLE INSTITUTIONS 176666 1% 100% 6 Search ALGEBRAIZABLE+INSTITUTIONS Search ALGEBRAIZABLE+INSTITUTIONS
6 ALGEBRAIZABLE LOGICS 163571 1% 56% 10 Search ALGEBRAIZABLE+LOGICS Search ALGEBRAIZABLE+LOGICS
7 LEIBNIZ CONGRUENCE 132496 1% 75% 6 Search LEIBNIZ+CONGRUENCE Search LEIBNIZ+CONGRUENCE
8 STRUCTURED SPECIFICATIONS 122683 0% 83% 5 Search STRUCTURED+SPECIFICATIONS Search STRUCTURED+SPECIFICATIONS
9 PI INSTITUTIONS 117777 0% 100% 4 Search PI+INSTITUTIONS Search PI+INSTITUTIONS
10 PROTOALGEBRAIC PI INSTITUTIONS 117777 0% 100% 4 Search PROTOALGEBRAIC+PI+INSTITUTIONS Search PROTOALGEBRAIC+PI+INSTITUTIONS

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 DIACONESCU, R , (2012) BORROWING INTERPOLATION.JOURNAL OF LOGIC AND COMPUTATION. VOL. 22. ISSUE 3. P. 561-586 26 87% 2
2 GOGUEN, JA , BURSTALL, RM , (1992) INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING.JOURNAL OF THE ACM. VOL. 39. ISSUE 1. P. 95 -146 26 93% 359
3 DIACONESCU, R , TUTU, I , (2014) FOUNDATIONS FOR STRUCTURING BEHAVIOURAL SPECIFICATIONS.JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. VOL. 83. ISSUE 3-4. P. 319 -338 17 100% 0
4 DIACONESCU, R , (2012) AN AXIOMATIC APPROACH TO STRUCTURING SPECIFICATIONS.THEORETICAL COMPUTER SCIENCE. VOL. 433. ISSUE . P. 20 -42 17 100% 2
5 MOSSAKOWSKI, T , (2002) RELATING CASL WITH OTHER SPECIFICATION LANGUAGES: THE INSTITUTION LEVEL.THEORETICAL COMPUTER SCIENCE. VOL. 286. ISSUE 2. P. 367-475 24 89% 22
6 BABENYSHEV, S , MARTINS, MA , (2016) BEHAVIORAL EQUIVALENCE OF HIDDEN K-LOGICS: AN ABSTRACT ALGEBRAIC APPROACH.JOURNAL OF APPLIED LOGIC. VOL. 16. ISSUE . P. 72 -91 16 94% 0
7 DIACONESCU, R , (2016) QUASI-VARIETIES AND INITIAL SEMANTICS FOR HYBRIDIZED INSTITUTIONS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 26. ISSUE 3. P. 855 -891 13 93% 3
8 WOLTER, U , MARTINI, A , HAUSLER, EH , (2015) TOWARDS A UNIFORM PRESENTATION OF LOGICAL SYSTEMS BY INDEXED CATEGORIES AND ADJOINT SITUATIONS.JOURNAL OF LOGIC AND COMPUTATION. VOL. 25. ISSUE 1. P. 57 -116 15 100% 0
9 GAINA, D , (2013) INTERPOLATION IN LOGICS WITH CONSTRUCTORS.THEORETICAL COMPUTER SCIENCE. VOL. 474. ISSUE . P. 46-59 18 86% 0
10 SANNELLA, D , TARLECKI, A , (2014) PROPERTY-ORIENTED SEMANTICS OF STRUCTURED SPECIFICATIONS.MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. VOL. 24. ISSUE 2. P. - 15 100% 0

Classes with closest relation at Level 1


Rank Class id link
1 4014 TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC
2 19506 SEQUENCE BASED SPECIFICATION//ANIMATION PROTOTYPING//CANONICAL WORD
3 17598 COALGEBRA//CHAIR SOFTWARE TECHNOL//FINAL COALGEBRA
4 37103 PARTIAL ENUMERATED SET//ACCEPTABLE NUMERATION//CONSTRUCTIVE FUNCTOR
5 26855 ABSTRACT RECURSION THEORY//CODED REWRITING//EFFECTIVELY FINITE PARTIAL ORDER
6 7299 FORMAL ASPECTS OF COMPUTING//KLEENE ALGEBRA//EVENT B
7 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES
8 24246 CFPRF//CFRF//RECURSIVE FUNCTIONS OF CONTEXT FREE LANGUAGES
9 28600 ORDER SORTED LOGIC//FEATURE LOGIC//PSI TERMS
10 2581 PROCESS ALGEBRA//PROGRAMMING GRP//EVENT STRUCTURES

Go to start page