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
Fingerprint
Research output
(10)
Research output
Research output per year
2022
2022
2023
2024
8
Conference contribution
2
Article
Research output per year
Research output per year
2 results
Type
(ascending)
Publication Year, Title
Title
Type
(descending)
Filter
Article
Search results
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 Access
File
36
Downloads (Pure)
Cyclic Hypersequent System for Transitive Closure Logic
Das, A.
&
Girlando, M.
,
Sept 2023
,
In:
Journal of Automated Reasoning.
67
,
3
,
40 p.
, 27.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Transitive Closure
100%
Algebra
81%
Logic
62%
Dynamic Logic
43%
Kleene Algebra
43%
26
Downloads (Pure)