Search results for: Markus Rosenkranz
Journal of Pure and Applied Algebra > 2017 > 221 > 10 > 2525-2556
Journal of Symbolic Computation > 2016 > 77 > C > 16-38
Lecture Notes in Computer Science > Mathematical Software – ICMS 2010 > Groebner Bases and Applications (Contributed) > 245-248
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Invited Presentations > 1-7
Lecture Notes in Computer Science
Journal of Algebra > 2015 > 442 > C > 354-396
Journal of Pure and Applied Algebra > 2014 > 218 > 3 > 456-473
Journal of Symbolic Computation > 2012 > 47 > 6 > 589-609
Insurance Mathematics and Economics > 2010 > 46 > 1 > 42-51
Annali di Matematica Pura ed Applicata ( 01923 -) > 2009 > 188 > 1 > 123-151
Journal of Symbolic Computation > 2008 > 43 > 8 > 515-544
Journal of Applied Logic > 2006 > 4 > 4 > 470-504
Journal of Symbolic Computation > 2005 > 39 > 2 > 171-199