ALICE Collaboration


Acharya S., Adamová D., Adler A., Adolfsson J., Aggarwal M., Aglieri Rinella G., ...More

Nuclear Physics A, vol.1005, 2021 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Editorial Material
  • Volume: 1005
  • Publication Date: 2021
  • Doi Number: 10.1016/s0375-9474(20)30412-7
  • Journal Name: Nuclear Physics A
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Academic Search Premier, Chemical Abstracts Core, INSPEC, zbMATH
  • Yıldız Technical University Affiliated: No

Abstract

Proof systems for the Relativized Propositional Calculus are defined and compared.