Original language | English |
---|---|
Pages (from-to) | 211-229 |
Number of pages | 19 |
Journal | Mathematics in Computer Science |
Volume | 2 |
Issue number | 2 |
Publication status | Published - 2008 |
Automatic proof of graph nonisomorphism
Arjeh Cohen, Jan Knopper, Scott Murray
Research output: Contribution to journal › Article › peer-review