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

Details:

    
TitleQuantifier elimination over finite fields using Gr\"obner bases.
Author(s) E. M. Clarke, Shuhong Gao, Andre Platzer
TypeBook, Chapter in Book, Conference Proceeding
Abstract
ISBN978-3-642-21492-9/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-642-21493-6_9
LanguageEnglish
Pages140--157
PublisherBerlin: Springer
Year2011
Edition0
Translation No
Refereed No
Webmaster