Monotonicity in Logic and Complexity

Informations projet

MiLC

N° de convention de subvention: 753431

DOI

10.3030/753431

Projet clôturé

Date de signature de la CE 17 Mars 2017

Date de début 1 Septembre 2017

Date de fin 31 Août 2019

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 200 194,80

Contribution de l’UE

€ 200 194,80

Coordonné par

KOBENHAVNS UNIVERSITET
Denmark

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Book chapters (1)

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

Auteurs: Anupam Das
Publié dans: Automated Reasoning, Numéro 10900, 2018, Page(s) 689-705, ISBN 978-3-319-94204-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-94205-6_45

Conference proceedings (3)

Left-Handed Completeness for Kleene algebra, via Cyclic Proofs

Auteurs: Anupam Das, Amina Doumane, Damien Pous
Publié dans: EPiC Series in Computing volume 57, 2018, Page(s) 271-251
Éditeur: EasyChair
DOI: 10.29007/hzq3

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

Auteurs: Anupam Das, Damien Pous
Publié dans: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Page(s) 19:1--19:18
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2018.19

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

Auteurs: Anupam Das, Isabel Oitavem
Publié dans: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2018.18

Other (4)

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

Auteurs: Anupam Das, Colin Riba
Publié dans: 2019
Éditeur: arXiv

On the logical complexity of cyclic arithmetic

Auteurs: Das, Anupam
Publié dans: Numéro 1, 2019
Éditeur: arXiv

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

Auteurs: Sam Buss, Anupam Das, Alexander Knop
Publié dans: 2019
Éditeur: arXiv

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

Auteurs: Das, Anupam
Publié dans: Numéro 1, 2019
Éditeur: arXiv