Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95 : Prague, Czech Republic August 28 - September 1, 1995 : proceedings - Wiedermann, Jiří, 1948-; Hájek, Petr, 1940-2016 (Lecture notes in computer science ;, 1995)