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

Details:

   
TitleHistory and Basic Features of the Critical-Pair/Completion Procedure
Author(s) Bruno Buchberger
TypeArticle in Journal
Length36
ISSN0747-7171
LanguageEnglish
Journal Journal of Symbolic Computation
Volume3
Number1--2
Pages3--38
Year1987
Translation No
Refereed Yes
Webmaster