University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

FOPL and FOPLN Backward Proofs of Equivalence Laws

Simple item page
dc.contributor.authorDunne, Steve
dc.contributor.authorMu, Chunyan
dc.contributor.authorStoddart, Bill
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.date.accessioned2024-09-06T15:33:01Z
dc.date.available2024-09-06T15:33:01Z
dc.date.issued2021
dc.format.extent25
dc.format.extent446645
dc.identifier305749184
dc.identifier6840b678-6a0d-4d0e-a8fa-ac21a8001456
dc.identifier.citationDunne, S, Mu, C & Stoddart, B 2021, FOPL and FOPLN Backward Proofs of Equivalence Laws.en
dc.identifier.otherORCID: /0000-0002-2988-6939/work/167121553
dc.identifier.urihttps://hdl.handle.net/2164/24173
dc.language.isoeng
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleFOPL and FOPLN Backward Proofs of Equivalence Lawsen
dc.typeReporten

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
equiv_proofs_backward.pdf
Size:
436.18 KB
Format:
Adobe Portable Document Format
Download

Collections

All research