Autori: Likavec Silvia J
| Naslov | Characterising Strongly Normalising Intuitionistic Terms (Article) |
| Autori | Santo Jose Espirito Ivetic Jelena B Likavec Silvia J |
| Info | FUNDAMENTA INFORMATICAE, (2012), vol. 121 br. 1-4, str. 83-120 |
| Projekat | Fundacao para a Ciencia e Tecnologia, Portugal; Ministry of Education and Science, Republic of Serbia [ON174026, III44006] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Strong normalization of the dual classical sequent calculus (Article) |
| Autori | Dougherty Daniel J Gilezan Silvia Lescanne Pierre Likavec Silvia J |
| Info | LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, (2005), vol. 3835 br. , str. 169-183 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Behavioural inverse limit lambda-models (Article) |
| Autori | Dezani-Ciancaglini Mariangiola Gilezan Silvia Likavec Silvia J |
| Info | THEORETICAL COMPUTER SCIENCE, (2004), vol. 316 br. 1-3, str. 49-74 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
