Search
Results
Search results for: author = '
William Steingartner' and title = '
'
|
[1] |
William Steingartner, Valerie Novitzká, Wolfgang Schreiner, Proof of equivalence of semantic methods for a selected domain-specific language, Journal of Applied Mathematics and Computational Mechanics, 23(2), 2024, pages 79-92.
|
|
|
[2] |
William Steingartner, Iskender Yar-Muhamedov, Learning software for handling the mathematical expressions, Journal of Applied Mathematics and Computational Mechanics, 17(2), 2018, pages 77-91.
|
|
|
[3] |
William Steingartner, Valerie Novitzká, Coalgebras for modelling observable behaviour of programs, Journal of Applied Mathematics and Computational Mechanics, 16(2), 2017, pages 145-157.
|
|
|
[4] |
William Steingartner, Davorka Radaković, František Valkošák, Pavol Macko, Some properties of coalgebras and their rôle in computer science, Journal of Applied Mathematics and Computational Mechanics, 15(4), 2016, pages 145-156.
|
|
|
[5] |
William Steingartner, Andrea Poláková, Peter Prazňák, Valerie Novitzká, Linear logic in computer science, Journal of Applied Mathematics and Computational Mechanics, 14(1), 2015, pages 91-100.
|
|
|
[6] |
William Steingartner, Darko Galinec, The rôle of categorical structures in infinitesimal calculus, Journal of Applied Mathematics and Computational Mechanics, 12(1), 2013, pages 107-119.
|
|
