Browsing by Author Drecun, Ivan

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
1-Jan-2023A Proof System for Graph (non)-Isomorphism VerificationBanković, Milan ; Drecun, Ivan ; Marić, Filip M21