Search results for: Stephan Ritscher
Journal of Symbolic Computation > 2013 > 49 > Complete > 78-94
Theoretical Computer Science > 2012 > 457 > Complete > 137-148
Journal of Symbolic Computation > 2013 > 49 > Complete > 78-94
Theoretical Computer Science > 2012 > 457 > Complete > 137-148