Browsing by Author "Dunne, Steve"
Now showing 1 - 3 of 3
- Results Per Page
- Sort Options
Item Bunch theory : Axioms, logic, applications and model(2024-08-01) Stoddart, Bill; Dunne, Steve; Mu, Chunyan; Zeyda, Frank; University of Aberdeen.Computing Science; University of Aberdeen.Cybersecurity and PrivacyItem First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws(2021) Dunne, Steve; Mu, Chunyan; Stoddart, Bill; University of Aberdeen.Computing ScienceItem FOPL and FOPLN Backward Proofs of Equivalence Laws(2021) Dunne, Steve; Mu, Chunyan; Stoddart, Bill; University of Aberdeen.Computing Science