Class information for:
Level 1: ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
9953 1040 29.8 23%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

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 ALGEBRAIC SPECIFICATION Author keyword 26 41% 5% 50
2 REWRITING LOGIC Author keyword 26 41% 5% 49
3 EQUIVALENT DEDUCTIVE SYSTEMS Author keyword 14 100% 1% 7
4 EQUIVALENT INSTITUTIONS Author keyword 14 100% 1% 7
5 CAFEOBJ Author keyword 11 49% 2% 17
6 ALGEBRAIZABLE INSTITUTIONS Author keyword 11 100% 1% 6
7 ALGEBRAIZABLE LOGICS Author keyword 10 63% 1% 10
8 MAUDE Author keyword 9 28% 3% 26
9 BISS Address 8 45% 1% 14
10 BREMEN SAFE SYST Address 7 64% 1% 7

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 ALGEBRAIC SPECIFICATION 26 41% 5% 50 Search ALGEBRAIC+SPECIFICATION Search ALGEBRAIC+SPECIFICATION
2 REWRITING LOGIC 26 41% 5% 49 Search REWRITING+LOGIC Search REWRITING+LOGIC
3 EQUIVALENT DEDUCTIVE SYSTEMS 14 100% 1% 7 Search EQUIVALENT+DEDUCTIVE+SYSTEMS Search EQUIVALENT+DEDUCTIVE+SYSTEMS
4 EQUIVALENT INSTITUTIONS 14 100% 1% 7 Search EQUIVALENT+INSTITUTIONS Search EQUIVALENT+INSTITUTIONS
5 CAFEOBJ 11 49% 2% 17 Search CAFEOBJ Search CAFEOBJ
6 ALGEBRAIZABLE INSTITUTIONS 11 100% 1% 6 Search ALGEBRAIZABLE+INSTITUTIONS Search ALGEBRAIZABLE+INSTITUTIONS
7 ALGEBRAIZABLE LOGICS 10 63% 1% 10 Search ALGEBRAIZABLE+LOGICS Search ALGEBRAIZABLE+LOGICS
8 MAUDE 9 28% 3% 26 Search MAUDE Search MAUDE
9 LEIBNIZ CONGRUENCE 6 71% 0% 5 Search LEIBNIZ+CONGRUENCE Search LEIBNIZ+CONGRUENCE
10 PI INSTITUTIONS 6 100% 0% 4 Search PI+INSTITUTIONS Search PI+INSTITUTIONS

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 ALGEBRAIC SPECIFICATION 16 60% 2% 18
2 CASL 15 54% 2% 19
3 ORDER SORTED ALGEBRA 14 100% 1% 7
4 REWRITING LOGIC 11 27% 3% 36
5 KERNEL LANGUAGE 10 73% 1% 8
6 LOGICAL SYSTEMS 10 73% 1% 8
7 ABSTRACT DATA TYPES 9 33% 2% 22
8 GROTHENDIECK INSTITUTIONS 6 71% 0% 5
9 ALGEBRAIC SPECIFICATIONS 6 31% 1% 15
10 LOGICAL SPECIFICATIONS 6 100% 0% 4

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMING 1992 329 28 96%
Rewriting logic: roadmap and bibliography 2002 49 41 68%
CONDITIONAL REWRITING LOGIC AS A UNIFIED MODEL OF CONCURRENCY 1992 379 35 26%
ORDER-SORTED ALGEBRA .1. EQUATIONAL DEDUCTION FOR MULTIPLE INHERITANCE, OVERLOADING, EXCEPTIONS AND PARTIAL OPERATIONS 1992 109 13 69%
Algebraic approaches to nondeterminism: An overview 1997 17 19 63%
Web-based support for cooperative software engineering 2001 0 7 57%
THE ALGORITHMIC SPECIFICATION METHOD OF ABSTRACT-DATA-TYPES - AN OVERVIEW 1986 0 4 75%

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 BISS 8 45% 1.3% 14
2 BREMEN SAFE SYST 7 64% 0.7% 7
3 FORMAL SYST 4 75% 0.3% 3
4 DSIC ELP 4 56% 0.5% 5
5 CIDMA RD MATH PLICAT 2 67% 0.2% 2
6 GRP PROJECT ID 3 0439 1 100% 0.2% 2
7 LENG SIST INF 1 100% 0.2% 2
8 SECT THEORY COMP SCI 1 33% 0.2% 2
9 BRICS COMP SCI 1 50% 0.1% 1
10 ILKD 1 50% 0.1% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000175308 TERM REWRITING//LUFG INFORMAT 2//TERM REWRITING SYSTEMS
2 0.0000169534 ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS
3 0.0000151880 CHAIR SOFTWARE TECHNOL//COALGEBRA//FINAL COALGEBRA
4 0.0000110454 CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM
5 0.0000102469 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ
6 0.0000069693 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
7 0.0000069479 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY
8 0.0000068392 ABT PROGRAMMIERMETHOD//ACKERMANN FUNCTIONS//COMPUTATION ON ABSTRACT DATA TYPES
9 0.0000060531 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
10 0.0000059549 SOFTWARE ENGINEERING JOURNAL//ADA CODE//ANIMATION PROTOTYPING