Autori: Santo Jose Espirito
| 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 | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
