Search
Results
Search results for: author = '
Daniel Mihályi' and title = '
'
[1] |
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.
|
|
[2] |
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.
|
|