Detail Department of Mathematics and Computer Science University of Basel