Automatic proof of graph nonisomorphism

Arjeh Cohen, Jan Knopper, Scott Murray

Research output: Contribution to journal › Article

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

@article{d9fb56ef091545c497bdb45dcb18d812,

title = "Automatic proof of graph nonisomorphism",

author = "Arjeh Cohen and Jan Knopper and Scott Murray",

year = "2008",

language = "English",

volume = "2",

pages = "211--229",

journal = "Mathematics in Computer Science",

issn = "1661-8270",

publisher = "Birkhauser Verlag Basel",

number = "2",

}