Zobrazeno 1 - 2
of 2
pro vyhledávání: '"DRECUN, IVAN"'
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 1 (February 1, 2023) lmcs:8898
In order to apply canonical labelling of graphs and isomorphism checking in interactive theorem provers, these checking algorithms must either be mechanically verified or their results must be verifiable by independent checkers. We analyze a state-of
Externí odkaz:
http://arxiv.org/abs/2112.14303
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 1, p1-40, 40p
