Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleReducing the Complexity of the Knuth-Bendix Completion Algorithm: A "Unification" of Different Approaches”
Author(s) Franz Winkler
TypeArticle in Journal
Length11
File
LanguageEnglish
Pages378--389
Year1985
Translation No
Refereed No
ConferencenameEuropean Conference on Computer Algebra
Webmaster