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

Details:

   
TitleTermination of the F5 algorithm.
Author(s) V.V. Galkin
TypeArticle in Journal
ISSN0361-7688; 1608-3261/e
URL http://link.springer.com/article/10.1134%2FS0361768814020042
LanguageEnglish
JournalProgram. Comput. Softw.
Volume40
Number2
Pages47--57
PublisherSpringer US, New York, NY; Pleiades Publishing, New York, NY; MAIK ``Nauka/Interperiodica
Year2014
Edition0
Translation No
Refereed No
Webmaster