No. |
Title |
Author |
Year |
---|

1 |
Cyclic Proofs for Arithmetical Inductive Definitions |
Das, Anupam et al. |
2023 |

2 |
Non-Uniform Complexity via Non-Wellfounded Proofs |
Curzi, Gianluca et al. |
2023 |

3 |
Decision Problems for Linear Logic with Least and Greatest Fixed Points |
Das, Anupam et al. |
2022 |

4 |
New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial |
Das, Anupam et al. |
2021 |

5 |
On the Logical Strength of Confluence and Normalisation for Cyclic Proofs |
Das, Anupam |
2021 |

6 |
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching Programs |
Buss, Sam et al. |
2020 |

7 |
A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions |
Das, Anupam et al. |
2018 |

8 |
Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices) |
Das, Anupam et al. |
2018 |

9 |
Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic |
Baillot, Patrick et al. |
2016 |

10 |
No complete linear term rewriting system for propositional logic |
Das, Anupam et al. |
2015 |

11 |
Rewriting with Linear Inferences in Propositional Logic |
Das, Anupam |
2013 |