Show simple item record

Files in this item

Thumbnail
Name:
ThomasKelseyPhDThesis2000_original_C.pdf
Size:
32.46Mb
Format:
PDF
View/Open

Formal methods and computer algebra : a LARCH specification of axiom categories and functors

Item metadata

dc.contributor.authorKelsey, Thomas W.en
dc.coverage.spatial220pen
dc.date.accessioned2021-04-08T09:24:23Z
dc.date.available2021-04-08T09:24:23Z
dc.date.issued2000
dc.identifier.urihttps://hdl.handle.net/10023/22903
dc.language.isoenen
dc.publisherUniversity of St Andrewsen
dc.subject.lccQA155.7E4K4
dc.titleFormal methods and computer algebra : a LARCH specification of axiom categories and functorsen
dc.typeThesisen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosopyen
dc.publisher.institutionThe University of St Andrewsen
dc.contributor.institutionMathematics & Statistics Thesesen


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.