mgr Adrian Jaszczak
Publikacje
-
A. Jaszczak
Formal verification of the correctness of chosen algorithms in Mizar
Intelligent Computer Mathematics, 12th International Conference CICM, Jul 8-12, 2019, Prague, Czech Republic, (E. Brady, J. Davenport, W.M. Farmer, C. Kaliszczyk, A. Kohlhase, M. Kohlhase, D. Müller, K. P±k, C.S. Coen Ed(s).), CEUR Workshop Proceedings vol. 2634, (publ. by) RWTH Aachen University, 2020, pp. 1-5. -
A. Jaszczak
General theory and tools for proving algorithms in nominative data systems
Form. Math. 28 (2020), no. 4, 269-278.
DOI: 10.2478/forma-2020-0024 -
A. Jaszczak
Partial correctness of an algorithm computing Lucas sequences
Form. Math. 28 (2020), no. 4, 279-288.
DOI: 10.2478/forma-2020-0025
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do:
libmaster@math.uwb.edu.pl
.