Search results for: Vincent Vatter
Journal of Symbolic Computation > 2012 > 47 > 3 > 259-265
Discrete Mathematics > 2011 > 311 > 8-9 > 715-722
Information Processing Letters > 2009 > 109 > 12 > 626-629
Journal of Symbolic Computation > 2012 > 47 > 3 > 259-265
Discrete Mathematics > 2011 > 311 > 8-9 > 715-722
Information Processing Letters > 2009 > 109 > 12 > 626-629