Algebra, kategóriák és logika a számítástudományban
Automaták es formális nyelvek elmélete
Fautomaták és fatranszformátorok elmélete
Fixpont műveletek és iterációs elméletek
Processz algebra
Termátírórendszerek
[SZTE] [TTIK] [TIK][Webmail][STUD] [NEPTUN]