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

Details:

    
Title
Author(s) Francesca Cioffi, margherita Roggero
TypeArticle in Journal
Abstract
Keywords
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717111000800
LanguageEnglish
JournalJournal of Symbolic Computation
Volume46
Number9
Pages1070 - 1084
Year2011
Edition0
Translation No
Refereed No
Webmaster