List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Coalgebraic operational semantics for an imperative language Computing and Informatics | 2023-02-20 | Paper |
| Between syntax and semantics of resource oriented logic for IDS behavior description Journal of Applied Mathematics and Computational Mechanics | 2020-09-28 | Paper |
| Linear logic in computer science Journal of Applied Mathematics and Computational Mechanics | 2020-09-25 | Paper |
| A categorical model of predicate linear logic Journal of Applied Mathematics and Computational Mechanics | 2020-09-25 | Paper |
| New approach to categorical semantics for procedural languages Computing and Informatics | 2018-11-29 | Paper |
| Towards the knowledge in coalgebraic model of IDS | 2018-10-17 | Paper |
| Coalgebraic approach for program behavior in comonads over toposes | 2011-05-09 | Paper |
| Categorical models of logical systems in the mathematical theory of programming | 2011-02-22 | Paper |
| Finite automata in the mathematical theory of programming | 2010-01-21 | Paper |
| Dependent types in mathematical theory of programming | 2009-08-10 | Paper |
Research outcomes over time
This page was built for person: Valerie Novitzká
