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

Details:

   
TitleSimulating Buchberger's algorithm by Knuth-Bendix completion
Author(s) Reinhard Bündgen
TypeArticle in Conference Proceedings
Length11
ISBN0-387-539042
LanguageEnglish
Pages386 - 397
Year1991
Translation No
Refereed No
Conferencename4th international conference on Rewriting techniques and applications
Webmaster