Autori: Drecun Ivan
| Naslov | A Proof System for Graph (Non)-Isomorphism Verification (Article) |
| Autori | Bankovic Milan M Drecun Ivan Maric Filip M 
|
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2021), vol. 19 br. 1, str. - |
| Projekat | Serbian Ministry of Science [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
     |
