Search results for: Maximilian Jaroschek
Journal of Symbolic Computation > 2017 > 81 > C > 41-68
Journal of Symbolic Computation > 2013 > 58 > Complete > 64-76
Journal of Symbolic Computation > 2017 > 81 > C > 41-68
Journal of Symbolic Computation > 2013 > 58 > Complete > 64-76