Person:5883755

From MaRDI portal

Available identifiers

zbMath Open drecun.ivanMaRDI QIDQ5883755

List of research outcomes





PublicationDate of PublicationType
A proof system for graph (non)-isomorphism verification2023-03-22Paper

Research outcomes over time

This page was built for person: