Battyányi, PéterKarim, Nour2021-05-052021-05-052018Logical Methods in Computer Science. -14 : 2 (2018), p. 1-35. -Log. Methods Comput. Sci. - 1860-59741860-5974http://hdl.handle.net/2437/308539folyóiratcikkopen access journalhttp://webpac.lib.unideb.hu:8082/ebib/CorvinaWeb?action=cclfind&resultview=long&ccltext=idno+BIBFORM094048TermészettudományokMatematika- és számítástudományokhttps://doi.org/10.23638/LMCS-14(2:17)2018https://lmcs.episciences.org/46332021-05-0800043943330000485055852173