Search
Results
Search results for: author = '
Valerie Novitzká' and title = '
'
[1] |
William Steingartner, Valerie Novitzká, Coalgebras for modelling observable behaviour of programs, Journal of Applied Mathematics and Computational Mechanics, 16(2), 2017, pages 145-157.
|
|
[2] |
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.
|
|
[3] |
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.
|
|
[4] |
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.
|
|