SLOM - predavanja odr~zana ak. god. 1998/99.

O B- i BM-particijama
Dilema Elipsa-Kru~znica i nasljedno naslje~divanje
Kazimir Majorinc
O ispunjivosti propozicijskih formul~a
Mirko Mihaljinec
O dilemi Elipsa-Kru~znica
Kona~cni automati
Dean Rosenzweig
Bisimulacije generaliziranih Veltmanovih model~a
Logi~cka terminologija
Logika interpretabilnosti
Mladen Vukovi~t
Real-Time Finite-State Systems and Linear Logic
A. ~S~cedrov (University of Philadelphia)
Pojava kombinatornih geometrij~a u teoriji model~a
Ivan Toma~si~t (University of Edinburgh)