A MATEMATIKAI TUDOMÁNY KANDIDÁTUSA
SZAKTERÜLET:
Algebra és számítástudomány/Matematikai Tudományok Osztálya
KUTATÁSI TÉMA
- A k-értékű logika zárt függvényosztályai és primitív rekuszív klónjai
- Formális nyelvek, Petrihálók
- Függvény-klónok, véges halmazon értelmezett függvények primitív rekurzív klónjai
