Giordano Favro

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Structured Data

Top Venues

Theor. Comput. Sci.

Publications

Antonino Salibra, Giulio Manzonetto, Giordano Favro
Factor Varieties and Symbolic Computation. LICS (2016)
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
Graph easy sets of mute lambda terms. Theor. Comput. Sci. 629 (2016)
Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra
A graph-easy class of mute lambda-terms. ICTCS (2014)