Skip to main content
English
Català
Čeština
Deutsch
Español
Français
Gàidhlig
Latviešu
Magyar
Nederlands
Polski
Português
Português do Brasil
Suomi
Svenska
Türkçe
Қазақ
বাংলা
हिंदी
Ελληνικά
Yкраї́нська
Log In
Please note that log in via username/password is only available to Repository staff.
Log in with Shibboleth
Email address
Password
Log in
Have you forgotten your password?
About
Communities & Collections
Browse Apollo
Statistics
English
Català
Čeština
Deutsch
Español
Français
Gàidhlig
Latviešu
Magyar
Nederlands
Polski
Português
Português do Brasil
Suomi
Svenska
Türkçe
Қазақ
বাংলা
हिंदी
Ελληνικά
Yкраї́нська
Log In
Please note that log in via username/password is only available to Repository staff.
Log in with Shibboleth
Email address
Password
Log in
Have you forgotten your password?
Home
School of the Physical Sciences
Department of Physics - The Cavendish Laboratory
Theses - Physics
Declarative theorem proving for operational semantics
Declarative theorem proving for operational semantics
Repository URI
https://www.repository.cam.ac.uk/handle/1810/252967
Repository DOI
https://doi.org/10.17863/CAM.16633
Files
Syme_1999_Phd_22742.pdf
(73.91 MB)
Type
Thesis
Full item page
Change log
Authors
Syme, Donald R
Description
Date
Advisors
Keywords
Qualification
Doctor of Philosophy (PhD)
Awarding Institution
University of Cambridge
Rights
All Rights Reserved
Collections
Theses - Physics