Institution: | 1.Department of Mathematics, Faculty of Electrical Engineering,Czech Technical University,Praha 6,Czech Republic;2.Department of Theoretical Computer Science and Mathematical Logic and Institute of Theoretical Computer Science, Faculty of Mathematics and Physics,Charles University,Praha 1,Czech Republic;3.Department of Mathematics,University of Manitoba,Winnipeg,Canada |