Autori: Honsell Furio
| Naslov | Plugging-in proof development environments using Locks in LF (Article; Proceedings Paper) |
| Autori | Honsell Furio Liquori Luigi Maksimovic Petar Scagnetto Ivan |
| Info | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, (2018), vol. 28 br. 9, str. 1578-1605 |
| Projekat | COST Action [CA15123 EUTYPES]; Serbian Ministry of Education, Science, and Technological Development [ON174026, III44006] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads (Article) |
| Autori | Honsell Furio Liquori Luigi Maksimovic Petar Scagnetto Ivan |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2017), vol. 13 br. 3, str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| 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 |
|
|
