Computer Science Logic 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers Pacholski Leszek Heftet / 1995 / Engelsk
SOFSEM 2001: Theory and Practice of Informatics 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings Pacholski Leszek Heftet / 2001 / Engelsk
Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings Kutylowski Miroslaw Heftet / 1999 / Engelsk
