Browsing by Author Drecun, Ivan
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Rank |
---|---|---|---|
1-Jan-2023 | A Proof System for Graph (non)-Isomorphism Verification | Banković, Milan ; Drecun, Ivan ; Marić, Filip | M21 |
Issue Date | Title | Author(s) | Rank |
---|---|---|---|
1-Jan-2023 | A Proof System for Graph (non)-Isomorphism Verification | Banković, Milan ; Drecun, Ivan ; Marić, Filip | M21 |