2026-09-21T12:17:43Zhttps://api.repository.cam.ac.uk/server/oai/request

oai:www.repository.cam.ac.uk:1810/2529672024-06-26T13:41:58Zcom_1810_198332com_1810_256064col_1810_214775

Declarative theorem proving for operational semantics 10.17863/CAM.16633 Syme, Donald R University of Cambridge 1999-03-16 Thesis Doctoral Doctor of Philosophy (PhD) en https://www.repository.cam.ac.uk/handle/1810/252967 https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/47543f75-bffc-42a8-b989-103bbcc4b739/download 87eda9de84448d1f82354d60eee3eb5f https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/b4b1a079-0c94-4e1c-9aee-02d53824aeb2/download c169d47c277f07912ffa470e169990ea https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/4fe2212d-b372-404a-9150-b1b5ff92ea3c/download 57acb7d556dbb1d0c379ab7904c0032c https://www.rioxx.net/licenses/all-rights-reserved/