Class information for:
Level 1: TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC

Basic class information
Class id #P Avg. number of
references		 Database coverage
of references
4014 1863 26.9 27%


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
4014 1                   TERM REWRITING//TERM REWRITING SYSTEMS//REWRITING LOGIC 1863

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 TERM REWRITING authKW 1066018 6% 61% 107
2 TERM REWRITING SYSTEMS authKW 679093 3% 75% 55
3 REWRITING LOGIC authKW 575485 3% 68% 52
4 MAUDE authKW 308790 2% 61% 31
5 LUFG INFORMAT 2 address 258111 1% 75% 21
6 TERMINATION authKW 247657 5% 15% 102
7 DEPENDENCY PAIRS authKW 246792 1% 94% 16
8 FUNCTIONAL LOGIC PROGRAMMING authKW 204843 1% 63% 20
9 NARROWING authKW 150547 1% 44% 21
10 INFINITARY REWRITING authKW 147498 0% 100% 9

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 126814 71% 1% 1327
2 Logic 11654 6% 1% 103
3 Computer Science, Software Engineering 10732 18% 0% 332
4 Computer Science, Artificial Intelligence 5623 15% 0% 275
5 Mathematics, Applied 2604 16% 0% 295
6 Computer Science, Information Systems 2054 9% 0% 170
7 Computer Science, Hardware & Architecture 901 4% 0% 78
8 COMPUTER APPLICATIONS & CYBERNETICS 147 0% 0% 5
9 Computer Science, Cybernetics 80 1% 0% 13
10 Mathematics 41 4% 0% 69

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 LUFG INFORMAT 2 258111 1% 75% 21
2 DSIC 122543 2% 20% 37
3 DSIC ELP 72999 0% 64% 7
4 FB IMN 65551 0% 67% 6
5 CC MATEMAT INFORMAT AUTOMAT 49166 0% 100% 3
6 HGEBIET PROGRAMMIERMETHOD 49166 0% 100% 3
7 CNRSURA 1327 32777 0% 100% 2
8 URA 410LRI 32777 0% 100% 2
9 CALLIGRAMME PROJECT 21068 0% 43% 3
10 DPTO SISTEMAS INFORMAT PROGRAMAC 18616 0% 23% 5

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 106870 41% 1% 758
2 JOURNAL OF AUTOMATED REASONING 104678 4% 10% 67
3 JOURNAL OF SYMBOLIC COMPUTATION 104567 6% 5% 120
4 THEORETICAL COMPUTER SCIENCE 45643 9% 2% 173
5 INFORMATION AND COMPUTATION 42471 4% 4% 74
6 APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING 21114 2% 5% 28
7 JOURNAL OF LOGIC PROGRAMMING 13410 1% 4% 19
8 LOGICAL METHODS IN COMPUTER SCIENCE 11395 1% 3% 21
9 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 11244 6% 1% 107
10 INFORMATION PROCESSING LETTERS 9212 3% 1% 60

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 TERM REWRITING 1066018 6% 61% 107 Search TERM+REWRITING Search TERM+REWRITING
2 TERM REWRITING SYSTEMS 679093 3% 75% 55 Search TERM+REWRITING+SYSTEMS Search TERM+REWRITING+SYSTEMS
3 REWRITING LOGIC 575485 3% 68% 52 Search REWRITING+LOGIC Search REWRITING+LOGIC
4 MAUDE 308790 2% 61% 31 Search MAUDE Search MAUDE
5 TERMINATION 247657 5% 15% 102 Search TERMINATION Search TERMINATION
6 DEPENDENCY PAIRS 246792 1% 94% 16 Search DEPENDENCY+PAIRS Search DEPENDENCY+PAIRS
7 FUNCTIONAL LOGIC PROGRAMMING 204843 1% 63% 20 Search FUNCTIONAL+LOGIC+PROGRAMMING Search FUNCTIONAL+LOGIC+PROGRAMMING
8 NARROWING 150547 1% 44% 21 Search NARROWING Search NARROWING
9 INFINITARY REWRITING 147498 0% 100% 9 Search INFINITARY+REWRITING Search INFINITARY+REWRITING
10 DEDUCTION MODULO 89224 0% 78% 7 Search DEDUCTION+MODULO Search DEDUCTION+MODULO

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 MARTI-OLIET, N , PALOMINO, M , VERDEJO, A , (2012) REWRITING LOGIC BIBLIOGRAPHY BY TOPIC: 1990-2011.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. VOL. 81. ISSUE 7-8. P. 782 -815 120 65% 4
2 MESEGUER, J , (2012) TWENTY YEARS OF REWRITING LOGIC.JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. VOL. 81. ISSUE 7-8. P. 721 -781 56 62% 26
3 GRAMLICH, B , (2012) MODULARITY IN TERM REWRITING REVISITED.THEORETICAL COMPUTER SCIENCE. VOL. 464. ISSUE . P. 3 -19 38 100% 1
4 HIROKAWA, N , MIDDELDORP, A , (2007) TYROLEAN TERMINATION TOOL: TECHNIQUES AND FEATURES.INFORMATION AND COMPUTATION. VOL. 205. ISSUE 4. P. 474 -511 29 100% 47
5 HERMANN, M , KIRCHNER, C , KIRCHNER, H , (1991) IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS.COMPUTER JOURNAL. VOL. 34. ISSUE 1. P. 20 -33 54 87% 4
6 GIESL, J , THIEMANN, R , SCHNEIDER-KAMP, P , FALKE, S , (2006) MECHANIZING AND IMPROVING DEPENDENCY PAIRS.JOURNAL OF AUTOMATED REASONING. VOL. 37. ISSUE 3. P. 155-203 25 96% 61
7 YAMADA, A , KUSAKARI, K , SAKABE, T , (2015) A UNIFIED ORDERING FOR TERMINATION PROVING.SCIENCE OF COMPUTER PROGRAMMING. VOL. 111. ISSUE . P. 110 -134 21 100% 0
8 LUCAS, S , (2006) PROVING TERMINATION OF CONTEXT-SENSITIVE REWRITING BY TRANSFORMATION.INFORMATION AND COMPUTATION. VOL. 204. ISSUE 12. P. 1782-1846 25 100% 3
9 DERSHOWITZ, N , (2005) OPEN. CLOSED. OPEN..TERM REWRITING AND APPLICATIONS, PROCEEDINGS. VOL. 3467. ISSUE . P. 376 -393 29 88% 2
10 BOUHOULA, A , JOUANNAUD, JP , MESEGUER, J , (2000) SPECIFICATION AND PROOF IN MEMBERSHIP EQUATIONAL LOGIC.THEORETICAL COMPUTER SCIENCE. VOL. 236. ISSUE 1-2. P. 35 -132 32 82% 62

Classes with closest relation at Level 1


Rank Class id link
1 24140 CONTEXT UNIFICATION//SECOND ORDER UNIFICATION//WORD EQUATIONS
2 28600 ORDER SORTED LOGIC//FEATURE LOGIC//PSI TERMS
3 10757 ALGEBRAIC SPECIFICATION//CAFEOBJ//BISS
4 26848 COMPUTABLE SET THEORY//HEREDITARILY FINITE SETS//EXTENSIONAL DIGRAPH
5 9998 JOURNAL OF AUTOMATED REASONING//AUTOMATED THEOREM PROVING//MIZAR
6 31129 LANGUAGE EMBEDDINGS//INTERMEDIATE COMPILER TARGET LANGUAGES//LAZY FUNCTIONAL PROGRAMMING LANGUAGES
7 8192 PARTIAL EVALUATION//PROGRAM TRANSFORMATION//PROGRAM SPECIALIZATION
8 8988 JOURNAL OF FUNCTIONAL PROGRAMMING//ACM SIGPLAN NOTICES//HASKELL
9 13914 RESTARTING AUTOMATON//FINITE DERIVATION TYPE//AUTOMATIC SEMIGROUP
10 5729 LAMBDA CALCULUS//GAME SEMANTICS//INTERSECTION TYPES

Go to start page