論文表記の著者名
Takeshi Tsukada
千葉大学Programming Languages & Formal Methods2021–2025 確定版
対象論文 9 本
著者名は論文に記載された表記をそのまま使用しており、同一人物の名寄せは行っていません。
印刷日： 全論文
論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。
対象論文
論文一覧
- Nola: Later-Free Ghost State for Verifying Termination in IrisDOI
- A Primal-Dual Perspective on Program Verification AlgorithmsDOI
- Inductive Approach to SpacerDOI
- Enriched Presheaf Model of Quantum FPCDOI
- HFL(Z) Validity Checking for Automated Program VerificationDOI
- Optimal CHC Solving via Termination ProofsDOI
- Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱DOI
- Software model-checking as cyclic-proof searchDOI
- CPS transformation with affine types for call-by-value implicit polymorphismDOI