Documents Checking -Calculus Structural Congruence is Graph Isomorphism Complete Victor Khomenko 1 and Roland...

Slide 1Checking  -Calculus Structural Congruence is Graph Isomorphism Complete Victor Khomenko 1 and Roland Meyer 2 1 School of Computing Science, Newcastle University,…

Documents Checking - Calculus Structural Congruence is Graph Isomorphism Complete

Checking -Calculus Structural Congruence is Graph Isomorphism Complete Victor Khomenko1 and Roland Meyer2 1School of Computing Science, Newcastle University, UK 2Department…