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

Details:

   
TitleGroebner bases, Ritt's algorithm and decision procedures for algebraic theories
Author(s) Giuseppa Carrà Ferro, Giorgio Gallo
TypeArticle in Conference Proceedings
ISBN0-387-51082-6
LanguageEnglish
Pages230-237
PublisherSpringer-Verlag New York, Inc.
AddressNew York, NY, USA
Year1987
Edition0
Translation No
Refereed No
Webmaster