Algebraic structures and fixed point operations in computer science  Page description

Help  Print 
Back »

 

Details of project

 
Identifier
110883
Type ANN
Principal investigator Ésik, Zoltán
Title in Hungarian Algebrai struktúrák és fixpont műveletek a számítástudományban
Title in English Algebraic structures and fixed point operations in computer science
Keywords in Hungarian iterációs félgyűrűk és félmodulusok, iterációs elméletek, fixpont műveletek, ekvacionális logika
Keywords in English iteration semirings and semimodules, iteration theories, fixed point operations, equational logic
Discipline
Mathematics (Council of Physical Sciences)100 %
Ortelius classification: Algebra
Panel Mathematics and Computing Science
Department or equivalent Institute of Informatics (University of Szeged)
Starting date 2014-07-01
Closing date 2016-06-30
Funding (in million HUF) 3.984
FTE (full time equivalent) 0.50
state running project




Back »