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 |
|