Loading…
Login
Scholar Register
Business Register
Subscribe
Loading…
Article Title
Abstract
Keyword
Category
MESH Heading
Grant Agency
RCAID
DOI
PMID
PMCID
Author
Affiliation
Email
Journal Title
ISSN
Publisher
Loading…
Contains
Equals
Find an Article
Find an Article (55589772)
Find a Category (125)
Find a Journal (6168)
Find a Scholar (4131)
Find an Academic Assistant (18)
Find an Article PDF (4631607)
Today's Articles (3025)
Subscriber (49888)
Citation(s) in
RCA
4
(from Reference Citation Analysis)
Indexed Articles
Today (0)
Yesterday (0)
This Week (0)
Last Week (0)
Current Month (0)
Last Month (0)
Ranked By
Impact Index Per Article
Citation(s) in
RCA
Results Analysis
Year Published Analysis
Article Type Analysis
Journal Title Analysis
Category Analysis
Results Analysis
Year Published
2005 (2)
1989 (1)
1988 (1)
Show more
Refine
Article Statistics
Refine
Publication Titles
ACTA ACUSTICA UNITED WITH ACUSTICA (3)
AUTOMATA, LANGUAGES AND PROGRAMMING (1)
Show more
Refine
Category
Multidisciplinary Sciences (4)
Show more
Refine
For:
Ganzinger H
. A completion procedure for conditional equations. In: Kaplan S, Jouannaud J-, editors. Conditional Term Rewriting Systems. Berlin: Springer Berlin Heidelberg; 1988. pp. 62-83. [DOI:
10.1007/3-540-19242-5_6
]
[
Citation(s) in
RCA
: 4
]
[
Impact Index Per Article: 0.2
]
[
Reference Citation Analysis
]
[
What about the content of this article? (
0
)
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
Number
Cited by Other Article(s)
1
A maximal-literal unit strategy for horn clauses.
ACTA ACUST UNITED AC
2005. [DOI:
10.1007/3-540-54317-1_78
]
[
Citation(s) in
RCA
: 1
]
[
Impact Index Per Article: 0.1
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
2
Conditional rewriting logic: Deduction, models and concurrency.
ACTA ACUST UNITED AC
2005. [DOI:
10.1007/3-540-54317-1_81
]
[
Citation(s) in
RCA
: 2
]
[
Impact Index Per Article: 0.1
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 02/16/2023]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
3
Algebraic Concepts for Software Development in ACT ONE, ACT TWO, And LOTOS.
ACTA ACUST UNITED AC
1989. [DOI:
10.1007/978-3-642-74872-1_14
]
[
Citation(s) in
RCA
: 0
]
[
Impact Index Per Article: 0
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Journal Information
]
[
Subscribe
]
[
Scholar Register
]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
4
Operational semantics of OBJ-3.
AUTOMATA, LANGUAGES AND PROGRAMMING
1988. [DOI:
10.1007/3-540-19488-6_123
]
[
Citation(s) in
RCA
: 34
]
[
Impact Index Per Article: 0.9
]
[
Reference Citation Analysis
]
[
Track Full Text
]
[
Subscribe
]
[
Scholar Register
]
[Indexed: 02/01/2023]
Abstract
Collapse
Key Words
Collapse
MESH Headings
Collapse
Grants
Collapse
Affiliation(s)
Collapse
Page 1 of 1
1
Loading…
Loading…
Export Articles to File
Export Citation Analysis
Export Citation Analysis
Article Number From
to
A maximum of 600 records can be exported at a time.
Format:
*
Excel
Plain Text
PDF
WORD
Invalid value
Loading…
Click to Download the Exported File
Loading…
Loading…
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA
Select the Category
Loading…
Loading…
Impact Index Per Article
Calculation for Impact Index Per Article
Times Cited ÷ Number of Years = Impact Index Per Article
TM
Loading…
