еНаука - преглед
Преглед према Аутор Kurz, Alexander
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2016 | A proof-theoretic semantic analysis of dynamic epistemic logic | Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta  | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2016 | Multi-type display calculus for dynamic epistemic logic | Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |