Research Online

Logo

Goldsmiths - University of London

Items Authored/Edited by Meier, Andreas

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 1.

Article

Sorge, Volker; Meier, Andreas; McCasland, Roy and Colton, Simon. 2008. Automatic Construction and Verification of Isotopy Invariants. Journal of Automated Reasoning, 40(2/3), pp. 221-243. ISSN 0168-7433 [Article]

This list was generated on Fri Jul 19 03:11:02 2019 BST.