CINECA IRIS Institutional Research Information System

Solvability in a probabilistic setting

S. Ronchi Della Rocca
First
;
2020-01-01
2020
International Conference on Formal Structures for Computation and Deduction (FSCD)
virtuale (formalmente Bueno Aires)
17-24/7/2020
Proceedings of FSCD 2020
Schloss Dagstuhl - Leibniz-Zentrum
167
1
17
https://doi.org/10.4230/LIPIcs.FSCD.2020.1
S. Ronchi Della Rocca, U. Dal Lago, C. Faggian
04A-Conference paper in volume
File in questo prodotto:
File Dimensione Formato  
fscd.pdf

Accesso aperto

Descrizione: articolo principale
Tipo di file: PDF EDITORIALE
Dimensione 554.09 kB
Formato Adobe PDF
Visualizza/Apri
554.09 kB Adobe PDF Visualizza/Apri

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/2318/1768033
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact