Why effective proof tool support for Z is hard

Những quyển sách tương tự

• Why are proof complexity lower bounds hard?
  Bằng: Pich, J, et al.
  Được phát hành: (2020)
• Advanced Proof Viewing in ProofTool
  Bằng: Tomer Libal, et al.
  Được phát hành: (2014-10-01)
• A Tutorial on Proof in Standard Z
  Bằng: Brien, S, et al.
  Được phát hành: (1995)
• Reasons for hardness in QBF proof systems
  Bằng: Beyersdorff, O, et al.
  Được phát hành: (2020)
• Delegation with Updatable Unambiguous Proofs and PPAD-Hardness
  Bằng: Yang, Lisa L.
  Được phát hành: (2022)