еНаука - преглед
Преглед према Пројекат European Research Network on Formal Proofs (COST Action) [CA20111]
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics | Spasic, Mirko D   ; Vujosevic-Janicic, Milena | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |