TY - CONF ID - acta61681 UR - http://acta.bibl.u-szeged.hu/61681/ EP - 48 N1 - Bibliogr.: p. 47-48. A1 - Németh Boldizsár A1 - Kelemen Zoltán Y1 - 2014/// VL - 9 T2 - Conference of PhD students in computer science (9.) (2014) (Szeged) SP - 47 AV - public TI - Derivable partial locking for algebraic data types KW - Számítástechnika - el?adáskivonat KW - Matematika - el?adáskivonat ER -