Items where Author is "Donkó, István"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 5. ArticleDonkó, István and Kaposi, Ambrus (2022) Internal strict propositions using point-free equations. Leibniz International Proceedings in Informatics (LIPIcs), 2nd International Symposium on Computational Geometry (SoCG 2016), 239. 6:1-6:21. ISSN 1868-8969 Bereczky, Péter and Donkó, István and Horpácsi, Dániel and Kaposi, Ambrus and Németh, Dávid János (2020) Interactive Teaching of Programming Language Theory with a Proof Assistant. Central-European Journal of New Technologies in Research, Education and Practice. ISSN 2676-9425 Donkó, István and Hartmann, Peter and Donkó, Zoltán (2019) Molecular dynamics simulation of a two-dimensional dusty plasma. American Journal of Physics, 87 (12). pp. 986-993. ISSN 0002-9505 Hartmann, Péter and Donkó, István and Donkó, Zoltán (2013) Single exposure 3D imaging of dusty plasma clusters. REVIEW OF SCIENTIFIC INSTRUMENTS, 84 (2). ISSN 0034-6748 Conference or Workshop ItemDonkó, István and Kaposi, Ambrus and Tóth, Melinda (2020) Formalizing a relational model of concurrent programs in a dependently typed environment. In: 13th Joint Conference on Mathematics and Informatics, October 1-3, 2020. |