Special issue: Mathematical foundation of computer science 2000. Full versions of papers presented at the 25th international symposium on mathematical foundations of computer science (MFCS'00), Bratislava, Slovakia, August 28--September 1, 2000.
scientific article; zbMATH DE number 5001846