Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Autore(i) Anno Periodico Editore Tipo File
The Proof Theory of Apodictic Syllogistic Melissa Antonelli 2020-01-01 - - 4.02 Riassunto (Abstract) -
On Measure Quantifiers in First-Order Arithmetic Antonelli M.; Dal Lago U.; Pistone P. 2021-01-01 - Springer 4.01 Contributo in Atti di convegno cie2021long.pdf
On Counting Propositional Logic and Wagner's Hierarchy Antonelli M.; Dal Lago U.; Pistone P. 2021-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno ictcs2021.pdf
Two Remarks on Counting Propositional Logic Melissa Antonelli 2022-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno paper2.pdf
Curry and Howard Meet Borel Melissa Antonelli; Ugo Dal Lago; Paolo Pistone 2022-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno lics2022a.pdf
Towards Randomized Bounded Arithmetic Melissa Antonelli,
Ugo Dal Lago,
Davide Davoli,
Isabel Oitavem,
Paolo Pistone
2022-01-01 - - 4.02 Riassunto (Abstract) -
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories Melissa Antonelli,
Ugo Dal Lago,
Davide Davoli,
Paolo Pistone,
Isabel Oitavem
2023-01-01 - - 4.02 Riassunto (Abstract) -
On Counting Propositional Logic and Wagner's Hierarchy Antonelli, Melissa; Dal Lago, Ugo; Pistone, Paolo 2023-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista 1-s2.0-S0304397523002414-main.pdf
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories Melissa Antonelli; Ugo Dal Lago; Davide Davoli; Isabel Oitavem; Paolo Pistone 2024-01-01 - - 4.01 Contributo in Atti di convegno -
Mostrati risultati da 1 a 9 di 9
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile