Centre for Digital Innovation

Research output

Research output per year 1996 2019 2020 2021 2024

• 314 Article
• 171 Conference contribution
• 65 Paper
• 53 Chapter
• 164 More
  • 21 Digital or Visual Products
  • 17 Book
  • 15 Abstract
  • 14 Exhibition
  • 13 Performance
  • 12 Editorial
  • 10 Conference article
  • 8 Chapter (peer-reviewed)
  • 8 Review article
  • 6 Other chapter contribution
  • 6 Other
  • 5 Artefact
  • 4 Preprint
  • 3 Entry for encyclopedia/dictionary
  • 3 Software
  • 3 Other contribution
  • 2 Commissioned report
  • 2 Other report
  • 2 Poster
  • 2 Comment/debate
  • 2 Letter
  • 2 Doctoral Thesis
  • 1 Anthology
  • 1 Meeting Abstract
  • 1 Special issue
  • 1 Master's Thesis

Research output per year

Research output per year

Search results

• 2021

  First Order Predicate Logic with Null (FOPLN) Proof of Equivalence Laws

  Mu, C., Stoddart, B. & Dunne, S., 2021, 17 p.

  Research output: Book/Report › Other report

  File

  • Law 100%
  • First-order Predicate Logic 100%
  • Order Predicate Logic 100%
  • Null 100%
  80 Downloads (Pure)

• FOPL and FOPLN Backward Proofs of Equivalence Laws

  Mu, C., Stoddart, B. & Dunne, S., 2021, 25 p.

  Research output: Book/Report › Other report

  File

  • Law 100%
  • First-order Predicate Logic 100%
  • Order Predicate Logic 100%
  85 Downloads (Pure)