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

Details:

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