Items Authored/Edited by Sorge, Volker

Jump to: 2008

Number of items: 1.

2008

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 Apr 19 04:09:44 2024 BST.

Export as	Atom RSS