Computing Publications

Publications Home » The Automatic Construction of Iso...

The Automatic Construction of Isotopy Invariants

Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton

Conference or Workshop Paper
Third International Conference on Automated Reasoning
July, 2006
PDF of full publication (449 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.