FAVRO, GIORDANO
FAVRO, GIORDANO
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
A graph easy set of mute lambda terms
2014-01-01 A., Bucciarelli; Carraro, Alberto; Favro, Giordano; Salibra, Antonino
Algebraic structures for the lambda calculus and the propositional logic
2016-02-04 Favro, Giordano
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 | - | |
| Algebraic structures for the lambda calculus and the propositional logic | 4-feb-2016 | Favro, Giordano | - | - | |
| 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 | - |