Automatic proof of graph nonisomorphism
From MaRDI portal
Publication:841683
DOI10.1007/s11786-008-0052-8zbMath1189.05114OpenAlexW2160481583MaRDI QIDQ841683
Arjeh M. Cohen, Jan Willem Knopper, Murray, Scott H.
Publication date: 18 September 2009
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-008-0052-8
Graph theory (including graph drawing) in computer science (68R10) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Mechanization of proofs and logical operations (03B35) Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60)
Uses Software
This page was built for publication: Automatic proof of graph nonisomorphism