eNauka - pregled
Pregled prema Autor Lenisa, Marina
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | An open logical framework | Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2010 | Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus | Di, Gianantonio Pietro; Jakšić, Svetlana  ; Lenisa, Marina | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |