Search results for: Gert-Martin Greuel
Mathematische Zeitschrift > 2018 > 290 > 3-4 > 759-774
Lecture Notes in Mathematics > Algebraic Geometry > 141-168
Lecture Notes in Computer Science > Computer Aided Verification > Session 13: Hardware Verification II > 473-486
Lecture Notes in Mathematics
Revista Matemática Complutense > 2012 > 25 > 1 > 61-85
Revista Matemática Complutense > 2012 > 25 > 2 > 557-579
Journal of Symbolic Computation > 2011 > 46 > 5 > 561-570
Journal of Symbolic Computation > 2010 > 45 > 9 > 887-901
Journal of Pure and Applied Algebra > 2009 > 213 > 8 > 1612-1635
manuscripta mathematica > 2008 > 127 > 1 > 1-21
Journal of Symbolic Computation > 2007 > 42 > 1-2 > 89-114
Comptes rendus - Mathematique > 2003 > 337 > 9 > 581-586
Journal of Algebra > 2001 > 246 > 1 > 1-54
Inventiones mathematicae > 1998 > 133 > 3 > 539-580