Search
Results
Search results for: author = '
Valerie Novitzká' 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, Valerie Novitzká, Coalgebras for modelling observable behaviour of programs, Journal of Applied Mathematics and Computational Mechanics, 16(2), 2017, pages 145-157.
|
|
|
[3] |
Ján Perháč, Daniel Mihályi, Valerie Novitzká, Between syntax and semantics of resource oriented logic for IDS behavior description, Journal of Applied Mathematics and Computational Mechanics, 15(2), 2016, pages 105-118.
|
|
|
[4] |
Emilia Demeterová, Daniel Mihályi, Valerie Novitzká, A categorical model of predicate linear logic, Journal of Applied Mathematics and Computational Mechanics, 14(1), 2015, pages 27-42.
|
|
|
[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.
|
|
