New developments in the theory of Gröbner bases and applications to formal verification

• Autores: Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel , Markus Wedler, Oliver Wienand
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 213, Nº 8, 2009, págs. 1612-1635
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2008.11.043
• Texto completo no disponible (Saber más ...)