Univerzální algebra, constraint satisfaction problems.
Univerzální algebra, constraint satisfaction problems, automatické dokazování.
Phone 951553238
Room K 313 (4011)
Univerzální algebra, výpočetní složitost, problém splnitelnosti omezení.
Phone 951553377
Room K 490 (5031)
Univerzální algebra, constraint satisfaction problems.
Univerzální algebra, teorie modelů, constraint satisfaction problems.
Teorie reprezentací algeber a derivované kategorie.
Ekvivariantní stabilní homotopie, derivovaná komutativní algebra.
Teorie čísel, kvadratické formy, mříže, diskrétní geometrie, celočíselné symetrické matice, algebraická teorie grafů.
