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

Details:

   
TitleOn Gr\"obner bases in the context of satisfiability-modulo-theories solving over the real numbers.
Author(s) Erika Abraham, Florian Corzilius, Sebastian Junges, Ulrich Loup
TypeBook, Chapter in Book, Conference Proceeding
Abstract
ISBN978-3-642-40662-1/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-642-40663-8_18
LanguageEnglish
Pages186--198
PublisherBerlin: Springer
Year2013
Edition0
Translation No
Refereed No
Webmaster