Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
A graph easy set of mute lambda terms
2014-01-01 A., Bucciarelli; Carraro, Alberto; Favro, Giordano; Salibra, Antonino
Factor Varieties and Symbolic Computation
2016-01-01 Salibra, Antonino; Favro, Giordano; Manzonetto, Giulio
Graph easy sets of mute lambda terms
2016-01-01 Bucciarelli, Antonio; Carraro, Alberto; Favro, Giordano; Salibra, Antonino
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
A graph easy set of mute lambda terms | 1-gen-2014 | CARRARO, ALBERTOFAVRO, GIORDANOSALIBRA, Antonino + | 4.1 Articolo in Atti di convegno | - | |
Factor Varieties and Symbolic Computation | 1-gen-2016 | SALIBRA, AntoninoFAVRO, GIORDANOMANZONETTO, Giulio | 4.1 Articolo in Atti di convegno | - | |
Graph easy sets of mute lambda terms | 1-gen-2016 | FAVRO, GIORDANOSALIBRA, Antonino + | 2.1 Articolo su rivista | - |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile