Class information for:
Level 1: KLEENE ALGEBRA//RELATION ALGEBRA//JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
17362 539 21.8 26%


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 KLEENE ALGEBRA Author keyword 27 55% 6% 34
2 RELATION ALGEBRA Author keyword 8 29% 4% 22
3 JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING Journal 6 30% 3% 17
4 INFORMAT GENIE LOGICIEL Address 6 37% 2% 13
5 ALGEBRA OF PROGRAMMING Author keyword 5 60% 1% 6
6 RELVIEW Author keyword 5 63% 1% 5
7 DEDEKIND CATEGORY Author keyword 4 75% 1% 3
8 DEMONIC SEMANTICS Author keyword 4 75% 1% 3
9 DYNAMIC ALGEBRA Author keyword 4 75% 1% 3
10 ITERATION SEMIRING Author keyword 4 75% 1% 3

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 KLEENE ALGEBRA 27 55% 6% 34 Search KLEENE+ALGEBRA Search KLEENE+ALGEBRA
2 RELATION ALGEBRA 8 29% 4% 22 Search RELATION+ALGEBRA Search RELATION+ALGEBRA
3 ALGEBRA OF PROGRAMMING 5 60% 1% 6 Search ALGEBRA+OF+PROGRAMMING Search ALGEBRA+OF+PROGRAMMING
4 RELVIEW 5 63% 1% 5 Search RELVIEW Search RELVIEW
5 DEDEKIND CATEGORY 4 75% 1% 3 Search DEDEKIND+CATEGORY Search DEDEKIND+CATEGORY
6 DEMONIC SEMANTICS 4 75% 1% 3 Search DEMONIC+SEMANTICS Search DEMONIC+SEMANTICS
7 DYNAMIC ALGEBRA 4 75% 1% 3 Search DYNAMIC+ALGEBRA Search DYNAMIC+ALGEBRA
8 ITERATION SEMIRING 4 75% 1% 3 Search ITERATION+SEMIRING Search ITERATION+SEMIRING
9 RELVIEW TOOL 4 75% 1% 3 Search RELVIEW+TOOL Search RELVIEW+TOOL
10 KLEENE ALGEBRA WITH TESTS 4 56% 1% 5 Search KLEENE+ALGEBRA+WITH+TESTS Search KLEENE+ALGEBRA+WITH+TESTS

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 KLEENE ALGEBRA 23 51% 6% 33
2 KLEENE ALGEBRAS 15 68% 2% 13
3 DETERMINISTIC PROGRAMS 12 86% 1% 6
4 RATIONAL IDENTITIES 10 52% 2% 13
5 GENERAL CORRECTNESS 8 100% 1% 5
6 RELVIEW 8 62% 1% 8
7 REFINEMENT ALGEBRA 6 47% 2% 9
8 ITERATION THEORIES 6 100% 1% 4
9 FLOWCHART THEORIES 5 60% 1% 6
10 REGULAR EVENTS 5 47% 1% 8

Journals


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 JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 6 30% 3% 17
2 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING 4 10% 6% 34

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
The equational logic of fixed points 1997 17 50 64%
A formal approach to scenario integration 1997 2 1 100%

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 INFORMAT GENIE LOGICIEL 6 37% 2.4% 13
2 PROGRAMMIERMETHOD COMPILERBAU 3 100% 0.6% 3
3 HAS HIGH ASSURANCE SOFTWARE 2 67% 0.4% 2
4 HIGH ASSURANCE SOFTWARE 2 50% 0.6% 3
5 SYST COMP ENGN PROGRAM 2 50% 0.6% 3
6 ABT PROGRAMMIERMETHOD COMPILERBAU 1 100% 0.4% 2
7 CENTRUM INFORMAT SPRACHVERARBEITUNG 1 100% 0.4% 2
8 ABT THEORET INFORMATIK 1 50% 0.2% 1
9 GERMAN ARMED FORCES 1 50% 0.2% 1
10 SOFTWARE TECH THEORET INFORMAT 1 50% 0.2% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000213360 CHAIR SOFTWARE TECHNOL//COALGEBRA//FINAL COALGEBRA
2 0.0000200059 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY
3 0.0000149600 CYLINDRIC ALGEBRAS//NEAT REDUCTS//ALGEBRAIC LOGIC
4 0.0000132412 CONSTRUCTIVE ALGORITHMICS//SKELETAL PARALLEL PROGRAMMING//BIRD MEERTENS FORMALISM
5 0.0000130804 FUZZY AUTOMATON//FUZZY AUTOMATA//FUZZY LANGUAGE
6 0.0000099471 PROCESS ALGEBRA//THREAD ALGEBRA//PROGRAMMING GRP
7 0.0000081647 AUTOMATIC STRUCTURES//BOREL HIERARCHY//INFINITARY RATIONAL RELATIONS
8 0.0000067152 LAWSON COMPACT//LOCALLY CONVEX CONES//CONTINUOUS POSET
9 0.0000061858 LINEAR LOGIC//COMPUTABILITY LOGIC//PROOF NETS
10 0.0000057664 ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS