Skip to main content

Ricerc@Sapienza

Home
Login

Home
INFORMATION AND COMPUTATION
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Space proof complexity for random 3-CNFs

pubblicato su: INFORMATION AND COMPUTATION - 2017

Bennett Patrick, Bonacina Ilario, Galesi Nicola, Huynh Tony, Molloy Mike, Wollan PAUL JOSEPH

First-order μ-calculus over generic transition systems and applications to the situation calculus

pubblicato su: INFORMATION AND COMPUTATION - 2018

Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio

On Finite-Index Indexed Grammars and Their Restrictions

pubblicato su: INFORMATION AND COMPUTATION - 2020

D'Alessandro Flavio, Ibarra Oscar, Mcquillan Ian

CATALOGO IRIS SAPIENZA

Anno

2020 (1) Apply 2020 filter
2018 (1) Apply 2018 filter
2017 (1) Apply 2017 filter

Tipo pubblicazione

01 Pubblicazione su rivista (3) Apply 01 Pubblicazione su rivista filter

Rivista

(-) Remove INFORMATION AND COMPUTATION filter INFORMATION AND COMPUTATION

Book

Keywords

Bounded Languages (1) Apply Bounded Languages filter
ET0L Languages (1) Apply ET0L Languages filter
Finite-Index (1) Apply Finite-Index filter
Full Trios (1) Apply Full Trios filter
Indexed Languages (1) Apply Indexed Languages filter
Monomial space (1) Apply Monomial space filter
Polynomial calculus (1) Apply Polynomial calculus filter
Proof complexity (1) Apply Proof complexity filter
Random CNFs (1) Apply Random CNFs filter
Resolution (1) Apply Resolution filter
Semi-linearity (1) Apply Semi-linearity filter
Total space (1) Apply Total space filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma