Class information for:
Level 1: TERM REWRITING//LUFG INFORMAT 2//TERM REWRITING SYSTEMS

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
4777 1655 24.0 28%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
1026 9754 LAMBDA CALCULUS//JOURNAL OF AUTOMATED REASONING//LINEAR LOGIC

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 TERM REWRITING Author keyword 60 47% 6% 95
2 LUFG INFORMAT 2 Address 32 80% 1% 20
3 TERM REWRITING SYSTEMS Author keyword 31 63% 2% 31
4 CONTEXT UNIFICATION Author keyword 18 89% 0% 8
5 TERM REWRITING SYSTEM Author keyword 16 54% 1% 21
6 TERMINATION Author keyword 13 12% 6% 97
7 DEPENDENCY PAIR Author keyword 8 100% 0% 5
8 ONE RULE Author keyword 8 100% 0% 5
9 RIGID E UNIFICATION Author keyword 8 100% 0% 5
10 STRONG SEQUENTIALITY Author keyword 8 100% 0% 5

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 TERM REWRITING 60 47% 6% 95 Search TERM+REWRITING Search TERM+REWRITING
2 TERM REWRITING SYSTEMS 31 63% 2% 31 Search TERM+REWRITING+SYSTEMS Search TERM+REWRITING+SYSTEMS
3 CONTEXT UNIFICATION 18 89% 0% 8 Search CONTEXT+UNIFICATION Search CONTEXT+UNIFICATION
4 TERM REWRITING SYSTEM 16 54% 1% 21 Search TERM+REWRITING+SYSTEM Search TERM+REWRITING+SYSTEM
5 TERMINATION 13 12% 6% 97 Search TERMINATION Search TERMINATION
6 DEPENDENCY PAIR 8 100% 0% 5 Search DEPENDENCY+PAIR Search DEPENDENCY+PAIR
7 ONE RULE 8 100% 0% 5 Search ONE+RULE Search ONE+RULE
8 RIGID E UNIFICATION 8 100% 0% 5 Search RIGID+E+UNIFICATION Search RIGID+E+UNIFICATION
9 STRONG SEQUENTIALITY 8 100% 0% 5 Search STRONG+SEQUENTIALITY Search STRONG+SEQUENTIALITY
10 DEPENDENCY PAIRS 7 53% 1% 9 Search DEPENDENCY+PAIRS Search DEPENDENCY+PAIRS

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 TERM REWRITING SYSTEMS 102 66% 6% 93
2 DIRECT SUM 47 66% 3% 44
3 MODULAR TERMINATION 27 92% 1% 11
4 DEPENDENCY PAIRS 26 51% 2% 36
5 BASIC PARAMODULATION 24 91% 1% 10
6 SUFFICIENT COMPLETENESS 23 79% 1% 15
7 WORD UNIFICATION 23 100% 1% 10
8 TREE PUSHDOWN AUTOMATA 21 78% 1% 14
9 CONSTRUCTORS 18 67% 1% 16
10 E UNIFICATION 18 89% 0% 8

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS 1991 4 53 83%
THE TERM REWRITING APPROACH TO AUTOMATED THEOREM-PROVING 1992 2 38 92%
Theory reasoning in connection calculi - Introduction 1998 0 40 55%
BASIC FEATURES AND DEVELOPMENT OF THE CRITICAL-PAIR COMPLETION PROCEDURE 1985 11 17 88%
A RESOLUTION PRINCIPLE FOR A LOGIC WITH RESTRICTED QUANTIFIERS - PREFACE 1991 0 10 70%

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 LUFG INFORMAT 2 32 80% 1.2% 20
2 FB IMN 7 67% 0.4% 6
3 PROGRAMMING LOG 6 80% 0.2% 4
4 HGEBIET PROGRAMMIERMETHOD 3 100% 0.2% 3
5 DSIC 2 11% 1.1% 19
6 CALLIGRAMME PROJECT 2 43% 0.2% 3
7 CNRSURA 1327 1 100% 0.1% 2
8 DPTO MATEMAT PURAS LICADAS 1 50% 0.1% 2
9 HBEREICH EIT 1 50% 0.1% 2
10 URA 410LRI 1 100% 0.1% 2

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000196118 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MODEL ELIMINATION
2 0.0000175308 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS
3 0.0000108974 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
4 0.0000106964 JOURNAL OF LOGIC PROGRAMMING//THEORY AND PRACTICE OF LOGIC PROGRAMMING//ABSTRACT INTERPRETATION
5 0.0000105163 ORDER SORTED LOGIC//PSI TERMS//TREE ORDERINGS
6 0.0000095400 LOGIC AND SYMBOLIC COMPUTING//O ALGEBRA//IDEALS THEORY
7 0.0000080950 FINITE DERIVATION TYPE//THOMPSONS GROUP//DIAGRAM GROUPS
8 0.0000073150 ABSTRACT INTERPRETATION//PREDICATE ABSTRACTION//SATISFIABILITY MODULO THEORIES
9 0.0000068673 SECURITY PROTOCOLS//DOLEV YAO MODEL//CRYPTOGRAPHIC PROTOCOLS
10 0.0000057397 CODE GENERATOR GENERATOR//ITERATIVE COMPILATION//ADAPTIVE COMPILATION