Show simple item record

dc.contributor.advisorGordon, Mike
dc.contributor.authorSyme, Donald R
dc.date.accessioned2015-12-11T16:55:21Z
dc.date.available2015-12-11T16:55:21Z
dc.date.issued1999-03-16
dc.identifier.otherPhD.22742
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/252967
dc.language.isoenen
dc.rightsAll Rights Reserveden
dc.rights.urihttps://www.rioxx.net/licenses/all-rights-reserved/en
dc.titleDeclarative theorem proving for operational semanticsen
dc.typeThesisen
dc.type.qualificationlevelDoctoral
dc.type.qualificationnameDoctor of Philosophy (PhD)
dc.publisher.institutionUniversity of Cambridgeen
dc.publisher.departmentComputer Laboratoryen
dc.publisher.departmentTrinity Hallen
dc.identifier.doi10.17863/CAM.16633


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record