CRIS Current Research Information System

Melissa Antonelli, U.D.L. (2023). Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

Melissa Antonelli;Ugo Dal Lago;Davide Davoli;Paolo Pistone;Isabel Oitavem
2023
2023
Logic Colloquium 2023 - Book of Abstracts
45
46
Melissa Antonelli, U.D.L. (2023). Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Paolo Pistone, Isabel Oitavem
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/928635
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact