This report contains the program and outcomes of the Dagstuhl Seminar 23471 onThe Next Generation of Deduction Systems:From Composition to Compositionality that was held at Schloss Dagstuhl, Leibniz Center for Informatics, during November 19-24, 2023.
The Next Generation of Deduction Systems: From Composition to Compositionality - Report from Dagstuhl Seminar 23471
Maria Paola Bonacina
;
2024-01-01
Abstract
This report contains the program and outcomes of the Dagstuhl Seminar 23471 onThe Next Generation of Deduction Systems:From Composition to Compositionality that was held at Schloss Dagstuhl, Leibniz Center for Informatics, during November 19-24, 2023.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
dagrep_v013_i011_p130_23471.pdf
accesso aperto
Descrizione: Rapporto
Tipologia:
Versione dell'editore
Licenza:
Creative commons
Dimensione
2.54 MB
Formato
Adobe PDF
|
2.54 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
