Why effective proof tool support for Z is hard

Podobné jednotky

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