Algebrai struktúrák és fixpont műveletek a számítástudományban  részletek

súgó  nyomtatás 
vissza »

 

Projekt adatai

 
azonosító
110883
típus ANN
Vezető kutató Ésik Zoltán
magyar cím Algebrai struktúrák és fixpont műveletek a számítástudományban
Angol cím Algebraic structures and fixed point operations in computer science
magyar kulcsszavak iterációs félgyűrűk és félmodulusok, iterációs elméletek, fixpont műveletek, ekvacionális logika
angol kulcsszavak iteration semirings and semimodules, iteration theories, fixed point operations, equational logic
megadott besorolás
Matematika (Élettelen Természettudományok Kollégiuma)100 %
Ortelius tudományág: Algebra
zsűri Matematika–Számítástudomány
Kutatóhely Informatikai Tanszékcsoport (Szegedi Tudományegyetem)
projekt kezdete 2014-07-01
projekt vége 2016-06-30
aktuális összeg (MFt) 3.984
FTE (kutatóév egyenérték) 0.50
állapot aktív projekt




vissza »