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

Details:

    
Title
Author(s) Giandomenico Boffi, Fabio Rossi
TypeArticle in Journal
Abstract
Keywords
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717105001367
LanguageEnglish
JournalJournal of Symbolic Computation
Volume41
Number3–4
Pages336 - 356
Year2006
NoteLogic, Mathematics and Computer Science: Interactions in honor of Bruno Buchberger (60th birthday)
Edition0
Translation No
Refereed No
Webmaster