Research output per year
Research output per year
Short title | Structure vs. Invariants in Proofs (StrIP) |
---|---|
Status | Finished |
Effective start/end date | 1/05/20 → 31/07/24 |
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review