by Radek Oslejšek, December 2000, 12 pages.
FIMU-RS-2000-13. Abstract, Postscript, PDF.
by Jan Strejček, December 2000, 30 pages.
FIMU-RS-2000-12. Abstract, Postscript, PDF.
by Václav Dvořák, Lubomír Markovič, December 2000, 20 pages.
FIMU-RS-2000-11. Abstract, Postscript, PDF.
by Jiří Barnat, Luboš Brim, Jitka Stříbrná, December 2000, 19 pages.
FIMU-RS-2000-10. Abstract, Postscript, PDF.
by Ivana Černá, Jitka Stříbrná, December 2000, 26 pages.
FIMU-RS-2000-09. Abstract, Postscript, PDF.
by Zdeněk Říha, Václav Matyáš, November 2000, 44 pages.
FIMU-RS-2000-08. Abstract, Postscript, PDF.
by Luboš Popelínský, Tomáš Pavelek, Tomáš Ptáčník, October 2000, 26 pages.
FIMU-RS-2000-07. Abstract, Postscript, PDF.
by Pavel Matula, Petr Matula, Michal Kozubek, October 2000, 14 pages.
FIMU-RS-2000-06. Abstract, Postscript, PDF.
by Antonín Kučera, This is a full version of the paper accepted for ASIAN 2000. September 2000, 34 pages.
FIMU-RS-2000-05. Abstract, Postscript, PDF.
by Petr Tobola, Karel Nechvíle, September 2000, 27 pages.
FIMU-RS-2000-04. Abstract, Postscript, PDF.
by Antonín Kučera, This is a full version of the paper presented at ICALP 2000. March 2000, 24 pages.
FIMU-RS-2000-03. Abstract, Postscript, PDF.
by Michal Chocholáč, February 2000, 20 pages.
FIMU-RS-2000-02. Abstract, Postscript, PDF.
by Antonín Kučera, Javier Esparza, This is a full and revised version of a paper which previously appeared in Proceedings of CSL`99. January 2000, 26 pages.
FIMU-RS-2000-01. Abstract, Postscript, PDF.