Binding Forms in First-Order Logic / Mogavero, Fabio; Perelli, Giuseppe. - (2015). ( 4th EACSL Annual Conference on Computer Science Logic (CSL 2015)) [10.4230/lipics.csl.2015.648].
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
mp(csl15).pdf
accesso aperto
Licenza:
Creative commons
Dimensione
641.99 kB
Formato
Adobe PDF
|
641.99 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


