Research Online
Goldsmiths - University of London
Login
Menu
Home
About
Browse
Search
Advanced Search
Help
Deposit Guide
Latest Additions
Policies
Open Access
Funder Open Access Policies
Accessibility
Statistics
Contact
Items Authored/Edited by
Meier, Andreas
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
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 Aug 16 03:43:38 2024 BST
.