Quantum Loop Programs and Verification of Quantum Programs

Posted on 2023-06-03 Symbols count in article 69 words Reading time 1 mins.
  • SuBonan
Home - 文献阅读
图形学作业请点这里 ">

到底为什么要叫做 “孤独地狱” 呢?当时他曾觉得该不会是标题搞错了吧?现在总算搞清楚了,能够理解了。所谓孤独,就是追求幻想而得不到满足的饥渴。

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

Edited on 2023-06-09 Views times
  • Post author: SuBonan @やがて、平凡な人になる
  • Post link: http://sugarsbn.github.io/2023/06/03/quantum-programs-and-verification/
  • Copyright Notice: All articles in this blog are licensed under (CC)BY-NC-SA unless stating additionally.
Previous Post - 数学杂记

Sublinear Algorithms

Next Post - 文献阅读

Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification

  • Quantum Loop Programs and Verification of Quantum Programs
  • Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
  • Algorithms for Dynamic Geometric Problems over Data Streams
  • Communication Complexity and Lower Bounds for Streaming Algorithm
  • A Quantum Interpretation of Bunched Logic And Quantum Separation Logic
  • Separation Logic Review
  • A Correctness and Incorrectness Program Logic
  • Computation & Programs
SuBonan

SuBonan

やがて、平凡な人になる
图形学作业请点这里
125 posts
10 categories
  • Home
  • About
  • Posts
    • Archives
    • Categories

Random Posts

  • -test
    test
  • - 数学杂记
    对称群的表示
  • - 数学杂记
    Numerical Analysis
  • - 计算机基础
    C++中数组和内存分布
  • - 数学杂记
    Galois Connection & Galois Embedding
  • - 数学杂记
    马尔科夫链-蒙特卡洛方法及其一个例子Metropolis-Hastings抽样
  • - 数学杂记
    线性代数及其应用
  • - 量子计算
    Quantum Key Distribution
  • - 数学杂记
    Galois Theory
  • - 文献阅读
    A Correctness and Incorrectness Program Logic

Recent Comments

    © 2019 – 2025 SuBonan @ SuBonan
    Powered by Hexo & Theme.Shoka