Monotonicity in Logic and Complexity

Informazioni relative al progetto

MiLC

ID dell’accordo di sovvenzione: 753431

DOI

10.3030/753431

Progetto chiuso

Data della firma CE 17 Marzo 2017

Data di avvio 1 Settembre 2017

Data di completamento 31 Agosto 2019

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 200 194,80

Contributo UE

€ 200 194,80

Coordinato da

KOBENHAVNS UNIVERSITET
Denmark

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Book chapters (1)

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

Autori: Anupam Das
Pubblicato in: Automated Reasoning, Numero 10900, 2018, Pagina/e 689-705, ISBN 978-3-319-94204-9
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-94205-6_45

Conference proceedings (3)

Left-Handed Completeness for Kleene algebra, via Cyclic Proofs

Autori: Anupam Das, Amina Doumane, Damien Pous
Pubblicato in: EPiC Series in Computing volume 57, 2018, Pagina/e 271-251
Editore: EasyChair
DOI: 10.29007/hzq3

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

Autori: Anupam Das, Damien Pous
Pubblicato in: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Pagina/e 19:1--19:18
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2018.19

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

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

Other (4)

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

Autori: Anupam Das, Colin Riba
Pubblicato in: 2019
Editore: arXiv

On the logical complexity of cyclic arithmetic

Autori: Das, Anupam
Pubblicato in: Numero 1, 2019
Editore: arXiv

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

Autori: Sam Buss, Anupam Das, Alexander Knop
Pubblicato in: 2019
Editore: arXiv

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

Autori: Das, Anupam
Pubblicato in: Numero 1, 2019
Editore: arXiv