Monotonicity in Logic and Complexity

Informacje na temat projektu

MiLC

Identyfikator umowy o grant: 753431

DOI

10.3030/753431

Projekt został zamknięty

Data podpisania przez KE 17 Marca 2017

Data rozpoczęcia 1 Września 2017

Data zakończenia 31 Sierpnia 2019

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 200 194,80

Wkład UE

€ 200 194,80

Koordynowany przez

KOBENHAVNS UNIVERSITET
Denmark

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Book chapters (1)

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

Autorzy: Anupam Das
Opublikowane w: Automated Reasoning, Numer 10900, 2018, Strona(/y) 689-705, ISBN 978-3-319-94204-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-94205-6_45

Conference proceedings (3)

Left-Handed Completeness for Kleene algebra, via Cyclic Proofs

Autorzy: Anupam Das, Amina Doumane, Damien Pous
Opublikowane w: EPiC Series in Computing volume 57, 2018, Strona(/y) 271-251
Wydawca: EasyChair
DOI: 10.29007/hzq3

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

Autorzy: Anupam Das, Damien Pous
Opublikowane w: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), 2018, Strona(/y) 19:1--19:18
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2018.19

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

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

Other (4)

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

Autorzy: Anupam Das, Colin Riba
Opublikowane w: 2019
Wydawca: arXiv

On the logical complexity of cyclic arithmetic

Autorzy: Das, Anupam
Opublikowane w: Numer 1, 2019
Wydawca: arXiv

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

Autorzy: Sam Buss, Anupam Das, Alexander Knop
Opublikowane w: 2019
Wydawca: arXiv

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

Autorzy: Das, Anupam
Opublikowane w: Numer 1, 2019
Wydawca: arXiv