Autori: Marinkovic Vesna
| Naslov | Proof Simplification in the Framework of Coherent Logic (Article) |
| Autori | Marinkovic Vesna |
| Info | COMPUTING AND INFORMATICS, (2015), vol. 34 br. 2, str. 337-366 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [174021]; Swiss National Science Foundation [SCOPES IZ73Z0_127979/1] |
| Ispravka | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science |
