Autori: Lehnherr David
| Naslov | A logic of interactive proofs (Article) |
| Autori | Lehnherr David Ognjanovic Zoran D Studer Thomas |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2022), vol. 32 br. 8, str. 1645-1658 |
| Projekat | Science Fund of the Republic of Serbia project AI4TrustBC; Swiss National Science Foundation [200020_184625] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
