%0 Journal Article %1 journals/actaC/NemethK15 %A Németh, Boldizsár %A Kelemen, Zoltán %D 2015 %J Acta Cybern. %K dblp %N 1 %P 151-169 %T Derivable Partial Locking for Algebraic Data Types. %U http://dblp.uni-trier.de/db/journals/actaC/actaC22.html#NemethK15 %V 22

@article{journals/actaC/NemethK15, added-at = {2017-05-15T00:00:00.000+0200}, author = {Németh, Boldizsár and Kelemen, Zoltán}, biburl = {https://www.bibsonomy.org/bibtex/2b0d6499b05a3d3e49a327eff8c6124a1/dblp}, ee = {https://doi.org/10.14232/actacyb.22.1.2015.10}, interhash = {44e4d4c3315f3cc6f3582b20c593f706}, intrahash = {b0d6499b05a3d3e49a327eff8c6124a1}, journal = {Acta Cybern.}, keywords = {dblp}, number = 1, pages = {151-169}, timestamp = {2017-05-16T11:36:42.000+0200}, title = {Derivable Partial Locking for Algebraic Data Types.}, url = {http://dblp.uni-trier.de/db/journals/actaC/actaC22.html#NemethK15}, volume = 22, year = 2015 }