Automatic proof of graph nonisomorphism

Arjeh Cohen, Jan Knopper, Scott Murray

    Research output: Contribution to journalArticle

    Original languageEnglish
    Pages (from-to)211-229
    Number of pages19
    JournalMathematics in Computer Science
    Issue number2
    Publication statusPublished - 2008

    Cite this

    Cohen, A., Knopper, J., & Murray, S. (2008). Automatic proof of graph nonisomorphism. Mathematics in Computer Science, 2(2), 211-229.