類似資料

• Arity hierarchies for quantifiers closed under partial polymorphisms
  著者:: Dawar, Anuj, 等
  出版事項: (2025)
• Preservation Theorems in Semiring Semantics
  著者:: Brinke, Sophie, 等
  出版事項: (2026)
• Optimal Lower Bounds for Symmetric Modular Circuits
  著者:: Pago, Benedikt
  出版事項: (2026)
• Symmetric Algebraic Circuits and Homomorphism Polynomials
  著者:: Dawar, Anuj, 等
  出版事項: (2025)
• New Bounds for the Ideal Proof System in Positive Characteristic
  著者:: Behera, Amik Raj, 等
  出版事項: (2025)