Posted in category "- 文献阅读"

  • SuBonan

All / - 文献阅读 Category

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

SuBonan

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

Random Posts

  • - 数学杂记
    代数拓扑
  • - 数学杂记
    Sketching, streaming and sub-linear space algorithms
  • - 数学杂记
    Sylow Theorem
  • - 量子计算
    Quantum Random Walk
  • - 计算机基础
    操作系统
  • - 计算机基础
    光照模型
  • - 数学杂记
    Galois Connection & Galois Embedding
  • - 计算机基础
    类型和程序设计语言
  • - 计算机基础
    C++中数组和内存分布
  • - 数学杂记
    Savitch's Theorem

Recent Comments

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