University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

FOPL and FOPLN Backward Proofs of Equivalence Laws

Thumbnail Image

Files

equiv_proofs_backward.pdf (436.18 KB)

Date

2021

Authors

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