Dettaglio pubblicazione
2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Pages 648-665 (volume: 41)
Binding forms in first-order logic (04b Atto di convegno in volume)
Mogavero F., Perelli G.
ISBN: 978-3-939897-90-3
keywords