Computational Complexity of Model-Checking Quantum Pushdown Systems

Ähnliche Einträge

• On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
  von: Lin, Deren, et al.
  Veröffentlicht: (2022)
• Simulating Polynomial-Time Nondeterministic Turing Machines via Nondeterministic Turing Machines
  von: Lin, Tianrong
  Veröffentlicht: (2024)
• The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
  von: Kátay, Tamás, et al.
  Veröffentlicht: (2023)
• Probabilistic Computers (So Quantum Computers) Are More Rigorously Powerful Than Traditional Computers, and Derandomization
  von: Lin, Tianrong
  Veröffentlicht: (2023)
• A Minimal Substitution Basis for the Kalmár Elementary Functions
  von: Prunescu, Mihai, et al.
  Veröffentlicht: (2025)