CINECA IRIS Institutional Research Information System

Solvability in a probabilistic setting

S. Ronchi Della Rocca
First
;
2020-01-01
2020
Inglese
su invito
1 - Conferenza
International Conference on Formal Structures for Computation and Deduction (FSCD)
virtuale (formalmente Bueno Aires)
17-24/7/2020
Internazionale
Zena M. Ariola
Proceedings of FSCD 2020
Esperti anonimi
Schloss Dagstuhl - Leibniz-Zentrum
Dagstuhl
GERMANIA
167
1
17
17
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
2-s2.0-85089396409
https://doi.org/10.4230/LIPIcs.FSCD.2020.1
sì
FRANCIA
4 – prodotto già presente in altro archivio Open Access (arXiv, REPEC…)
3
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
S. Ronchi Della Rocca, U. Dal Lago, C. Faggian
273
open
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