2 results
A logical approach to abstract algebra
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 5 / October 2006
- Published online by Cambridge University Press:
- 11 October 2006, pp. 885-900
-
- Article
- Export citation
21 - The Buchberger Algorithm as a Tool for Ideal Theory of Polynomial Rings in Constructive Mathematics
-
-
- Book:
- Gröbner Bases and Applications
- Published online:
- 05 July 2011
- Print publication:
- 26 February 1998, pp 393-407
-
- Chapter
- Export citation