Cyclic Hypersequent System for Transitive Closure Logic

Anupam Das, Marianna Girlando^*

^*Corresponding author for this work

Computer Science

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

48 Downloads (Pure)

1 results

Finished
Structure vs. Invariants in Proofs (StrIP)
Das, A.
Medical Research Council
1/05/20 → 31/07/24
Project: Research Councils