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].

Binding Forms in First-Order Logic

Fabio Mogavero
;
2015

2015
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/939705
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact