Skip to main content
AURA - Aberdeen University Research Archive
English
Čeština
Deutsch
Español
Français
Gàidhlig
Latviešu
Magyar
Nederlands
Português
Português do Brasil
Suomi
Communities & Collections
All of DSpace
Statistics
Home
5 - All research
All research
FOPL and FOPLN Backward Proofs of Equivalence Laws
FOPL and FOPLN Backward Proofs of Equivalence Laws
Files
equiv_proofs_backward.pdf
(436.18 KB)
Date
2021
Authors
Dunne, Steve
Mu, Chunyan
Stoddart, Bill
Journal Title
Journal ISSN
Volume Title
Publisher
Citation
Dunne, S, Mu, C & Stoddart, B 2021, FOPL and FOPLN Backward Proofs of Equivalence Laws.
URI
https://hdl.handle.net/2164/24173
DOI
Collections
All research
Endorsement
Review
Supplemented By
Referenced By
Full item page