SLOM - predavanja odr~zana
ak. god. 2004/05.
- 04-10-25
Teorija kona~cnih model~a
- Mladen Vukovi~t
- 04-11-04
04-11-08
Fragmenti logike prvog reda s kona~cno mnogo
varijabl~i
- Zvonimir Bujanovi~t
- 04-11-15
04-11-22
0-1
zakoni
- Matko Botin~can
- 05-01-10 Model-checking igre u deskriptivnoj teoriji
slo~zenosti
05-01-17
05-01-24 Beskona~cne igre
05-02-14
Algoritmi za igre parnosti
- Matko Botin~can
- 05-02-21
Verifikacija model~a za logike s operatorom najve~te
(najmanje) fiksne to~cke
05-02-28
Igre s povratom i inflatorne fiksne to~cke
- Matko Botin~can
- 05-04-18
05-04-25
05-05-09
Surealni brojevi
- Aleksandar Ha~gi-Veljkovi~t
- 05-05-23
The Verification of a Checker for Priority Queues
- Ru~zica Piska~c, University of Saarbruecken
- 05-05-30
05-06-06
05-06-13
Konstruktibilni skupovi
- Vedran ~Ca~ci~t
- 05-06-20
Generalizirane diferencije generaliziranih redova potencij~a i
primjena
- Darko Biljakovi~t
- 05-06-27
Pro~sirenje temporalne logike
- Vedran ~Sego