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

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

Random Posts

  • - 文献阅读
    Computation & Programs
  • - 文献阅读
    Algorithms for Dynamic Geometric Problems over Data Streams
  • - 数学杂记
    Numerical Analysis
  • - 外语
    日本語重点
  • - 数学杂记
    关于Monad
  • - 计算机基础
    计算机网络
  • - 数学杂记
    Sketching Algorithms for Big Data
  • - 外语
    日本语笔记
  • - 数学杂记
    傅里叶变换 (绕过群表示论,单位根)
  • - 绘画
    加藤惠生贺图

Recent Comments

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