REAL

Items where Author is "Donkó, István"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Donkó, 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

Conference or Workshop Item

Donkó, 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.

This list was generated on Thu Mar 28 15:11:46 2024 CET.