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 |
Cite this
Cohen, A., Knopper, J., & Murray, S. (2008). Automatic proof of graph nonisomorphism. Mathematics in Computer Science, 2(2), 211-229.
@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",
}
Cohen, A, Knopper, J & Murray, S 2008, 'Automatic proof of graph nonisomorphism', Mathematics in Computer Science, vol. 2, no. 2, pp. 211-229.
Automatic proof of graph nonisomorphism. / Cohen, Arjeh; Knopper, Jan; Murray, Scott.
In: Mathematics in Computer Science, Vol. 2, No. 2, 2008, p. 211-229.Research output: Contribution to journal › Article
TY - JOUR
T1 - Automatic proof of graph nonisomorphism
AU - Cohen, Arjeh
AU - Knopper, Jan
AU - Murray, Scott
PY - 2008
Y1 - 2008
M3 - Article
VL - 2
SP - 211
EP - 229
JO - Mathematics in Computer Science
JF - Mathematics in Computer Science
SN - 1661-8270
IS - 2
ER -
Cohen A, Knopper J, Murray S. Automatic proof of graph nonisomorphism. Mathematics in Computer Science. 2008;2(2):211-229.