• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article (55418809)   Find a Category (124)   Find a Journal (6152)   Find a Scholar (3949)   Find an Academic Assistant (18)
Find an Article PDF (4618911)   Today's Articles (3)   Subscriber (49403)
Citation(s) in RCA

Indexed Articles
Ranked By
Results Analysis
  •   
  •   
  •   
  •   
Results Analysis
Article Statistics
Refine
For: Winkler F, Buchberger B. A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. ACTA ACUST UNITED AC 1983. [DOI: 10.1145/1089338.1089341] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.0] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/23/2022]
Number Cited by Other Article(s)
1
A completion procedure for conditional equations. ACTA ACUST UNITED AC 2005. [DOI: 10.1007/3-540-19242-5_6] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register]
2
Ground confluence. ACTA ACUST UNITED AC 2005. [DOI: 10.1007/3-540-17220-3_14] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register]
3
Basic features and development of the critical-pair/completion procedure. REWRITING TECHNIQUES AND APPLICATIONS 1985. [DOI: 10.1007/3-540-15976-2_1] [Citation(s) in RCA: 12] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/03/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA