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

Details:

    
TitleGenerating all polynomial invariants in simple loops
Author(s) Deepak Kapur, E.
TypeArticle in Journal
Abstract
Keywords
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717107000107
LanguageEnglish
JournalJournal of Symbolic Computation
Volume42
Number4
Pages443 - 476
Year2007
Edition0
Translation No
Refereed No
Webmaster