New developments in the theory of Gröbner bases and applications to formal verification
In: Special Issue of the Journal of Pure and Applied Algebra. Submitted, 2008
Authors
- Michael Brickenstein
- Alexander Dreyer
- Gert-Martin Greuel
- Markus Wedler
- Oliver Wienand
BibTeX
@Article{ GreuelEtAt08,
title = { New developments in the theory of Gröbner bases and applications to formal verification },
author = { Michael Brickenstein and Alexander Dreyer and Gert-Martin Greuel and Markus Wedler and Oliver Wienand },
journal = { Special Issue of the Journal of Pure and Applied Algebra },
year = 2008,
}
This publication belongs to the project
VerSiS.
