Why effective proof tool support for Z is hard

Podobne zapisy

• Why are proof complexity lower bounds hard?
  od: Pich, J, i wsp.
  Wydane: (2020)
• Advanced Proof Viewing in ProofTool
  od: Tomer Libal, i wsp.
  Wydane: (2014-10-01)
• A Tutorial on Proof in Standard Z
  od: Brien, S, i wsp.
  Wydane: (1995)
• Reasons for hardness in QBF proof systems
  od: Beyersdorff, O, i wsp.
  Wydane: (2020)
• Delegation with Updatable Unambiguous Proofs and PPAD-Hardness
  od: Yang, Lisa L.
  Wydane: (2022)