Követés
Gergely Buday
Gergely Buday
Szent István University
E-mail megerősítve itt: buday-rd.com - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.
G Buday
Journal of Functional Programming 18 (3), 421-422, 2008
42008
Formalising the SECD machine with nominal Isabelle
G Buday
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1823-1824, 2015
32015
On program verification for concurrent functional programs
G Buday
2022
Research Survey
G Buday
2022
Towards an Isar tutorial
G Buday
2016
You feel isolated?
G Buday
COMPUTER SCIENCE FOR AGRICULTURAL STUDIES
G BUDAY
DIGITIZATION IN RURAL SPACES–CHALLENGE AND/OR OPPORTUNITY?, 87, 0
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–7