Research output per year
Research output per year
Project Details
| Short title | Structure vs. Invariants in Proofs (StrIP) |
|---|---|
| Status | Active |
| Effective start/end date | 1/05/20 → 30/04/24 |
Funding
- Medical Research Council
Research output
- 1 Article
-
Admissible rules for six intuitionistic modal logics
van der Giessen, I., 1 Apr 2023, In: Annals of Pure and Applied Logic. 174, 4, 34 p., 103233.Research output: Contribution to journal › Article › peer-review
Open AccessFile7 Downloads (Pure)