Why effective proof tool support for Z is hard

مواد مشابهة

• Why are proof complexity lower bounds hard?
  حسب: Pich, J, وآخرون
  منشور في: (2020)
• Advanced Proof Viewing in ProofTool
  حسب: Tomer Libal, وآخرون
  منشور في: (2014-10-01)
• A Tutorial on Proof in Standard Z
  حسب: Brien, S, وآخرون
  منشور في: (1995)
• Reasons for hardness in QBF proof systems
  حسب: Beyersdorff, O, وآخرون
  منشور في: (2020)
• Delegation with Updatable Unambiguous Proofs and PPAD-Hardness
  حسب: Yang, Lisa L.
  منشور في: (2022)