Browsing eNauka
Browsing by Project Eurostars Project 3DFed [E!114681]
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics | Spasic, Mirko D   ; Vujosevic-Janicic, Milena | Article | 21M21 |