Monotonicity in Logic and Complexity

Focussing, $$\mathsf {MALL}$$ and the Polynomial Hierarchy

Autoren: Anupam Das
Veröffentlicht in: Automated Reasoning, Ausgabe 10900, 2018, Seite(n) 689-705, ISBN 978-3-319-94204-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-94205-6_45

Left-Handed Completeness for Kleene algebra, via Cyclic Proofs

Autoren: Anupam Das, Amina Doumane, Damien Pous
Veröffentlicht in: EPiC Series in Computing volume 57, 2018, Seite(n) 271-251
Herausgeber: EasyChair
DOI: 10.29007/hzq3

Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices)

Autoren: Anupam Das, Damien Pous
Veröffentlicht in: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Seite(n) 19:1--19:18
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2018.19

A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions

Autoren: Anupam Das, Isabel Oitavem
Veröffentlicht in: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2018.18

A Functional (Monadic) Second-Order Theory of Infinite Trees

Autoren: Anupam Das, Colin Riba
Veröffentlicht in: 2019
Herausgeber: arXiv

On the logical complexity of cyclic arithmetic

Autoren: Das, Anupam
Veröffentlicht in: Ausgabe 1, 2019
Herausgeber: arXiv

Proof complexity of systems of (non-deterministic) decision trees and branching programs

Autoren: Sam Buss, Anupam Das, Alexander Knop
Veröffentlicht in: 2019
Herausgeber: arXiv

From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy

Autoren: Das, Anupam
Veröffentlicht in: Ausgabe 1, 2019
Herausgeber: arXiv

Veröffentlichungen

Diese Seite teilen

Herunterladen