University of Aberdeen logo

AURA - Aberdeen University Research Archive

 

First Order Predicate Logic with Null (FOPLN) Proof 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:31:01Z
dc.date.available2024-09-06T15:31:01Z
dc.date.issued2021
dc.format.extent17
dc.format.extent146527
dc.identifier305749286
dc.identifier56b28557-7d39-483c-a673-cf6634279ba9
dc.identifier.citationDunne, S, Mu, C & Stoddart, B 2021, First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws.en
dc.identifier.otherORCID: /0000-0002-2988-6939/work/167121554
dc.identifier.urihttps://hdl.handle.net/2164/24172
dc.language.isoeng
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleFirst Order Predicate Logic with Null (FOPLN) Proof of Equivalence Lawsen
dc.typeReporten

Files

Original bundle

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

Collections

All research