Skip to main navigation Skip to search Skip to main content

Structure vs. Invariants in Proofs (StrIP)

Project Details

Short titleStructure vs. Invariants in Proofs (StrIP)
StatusFinished
Effective start/end date1/05/20 → 31/07/24

Funding

  • Medical Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 19 Conference contribution
  • 12 Article
  • 2 Preprint
  • 1 Conference article

  • Cyclic Implicit Complexity

    Curzi, G. & Das, A., 16 Apr 2026, In: ACM Transactions on Computational Logic. 27, 2, 44 p., 11.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    22 Downloads (Pure)

  • Prover-Adversary games for systems over (non-deterministic) branching programs

    Das, A. & Delkos, A., 20 May 2026, In: Logical Methods in Computer Science. 22, 2, p. 18:1-18:34 34 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    7 Downloads (Pure)

  • Computational expressivity of (circular) proofs with fixed points

    Curzi, G. & Das, A., 4 Nov 2025, In: Logical Methods in Computer Science. 21, 4, p. 18:1-18:58 58 p., 18.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
    4 Downloads (Pure)
View all 34 research outputs