Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Structure vs. Invariants in Proofs (StrIP)
Das, Anupam
(Principal Investigator)
Computer Science
Overview
Research output
(1)
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
View all
View less
Research output
Research output per year
2023
2023
2023
1
Article
Research output per year
Research output per year
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 Access
File
7
Downloads (Pure)