Search results for: Matthias Baaz
Theoretical Computer Science > 2008 > 403 > 2-3 > 160-175
Journal of Symbolic Computation > 2006 > 41 > 3-4 > 381-410
Theoretical Computer Science > 2008 > 403 > 2-3 > 160-175
Journal of Symbolic Computation > 2006 > 41 > 3-4 > 381-410