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

Details:

   
TitleA new proof for the correctness of the F5 algorithm.
Author(s) Yao Sun, Dongming Wang
TypeArticle in Journal
Abstract
Keywords
ISSN1674-7283; 1869-1862/e
URL http://link.springer.com/article/10.1007%2Fs11425-012-4480-1
LanguageEnglish
JournalSci. China, Math.
Volume56
Number4
Pages745--756
PublisherSpringer, Berlin/Heidelberg; Science in China Press, Beijing
Year2013
Edition0
Translation No
Refereed No
Webmaster