Autori: Lenisa Marina
| Naslov | An open logical framework (Article) |
| Autori | Honsell Furio Lenisa Marina Scagnetto Ivan Liquori Luigi Maksimovic Petar |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2016), vol. 26 br. 1, str. 293-335 |
| Projekat | Serbian Ministry of Education, Science, and Technological Development [ON174026, III044006] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus (Proceedings Paper) |
| Autori | Di Gianantonio Pietro Jaksic Svetlana Lenisa Marina |
| Info | CONCUR 2010 - CONCURRENCY THEORY, (2010), vol. 6269 br. , str. 358-+ |
| Projekat | PRIN Project SISTER [20088HXMYN]; FIRB [RBIN04M8S8]; MIURMinistero dell' Istruzione, dell' Universita e della Ricerca (MIUR) |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
