еНаука - преглед
Преглед према Аутор Borisavljevic, Mirjana P
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2025 | Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts | Borisavljevic, Mirjana P | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2019 | Two Normalizations for Natural Deductions in Sequent Style | Borisavljevic, Mirjana P | Научни чланак | Мп категорија ће бити приказана накнадно. |