Iliano Cervesato
AuthID: R-00H-A50
1
TÃTULO: Preface to special issue: LINEARITY 2014
AUTORES: Sandra Alves ; Iliano Cervesato;
PUBLICAÇÃO: 2018, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, NÚMERO: 5
AUTORES: Sandra Alves ; Iliano Cervesato;
PUBLICAÇÃO: 2018, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, NÚMERO: 5
2
TÃTULO: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016 PDF
AUTORES: Iliano Cervesato; Maribel Fernández;
PUBLICAÇÃO: 2017, FONTE: LINEARITY, VOLUME: 238
AUTORES: Iliano Cervesato; Maribel Fernández;
PUBLICAÇÃO: 2017, FONTE: LINEARITY, VOLUME: 238
INDEXADO EM: DBLP arXiv
3
TÃTULO: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014 Full Text
AUTORES: Sandra Alves ; Iliano Cervesato;
PUBLICAÇÃO: 2015, FONTE: LINEARITY, VOLUME: 176
AUTORES: Sandra Alves ; Iliano Cervesato;
PUBLICAÇÃO: 2015, FONTE: LINEARITY, VOLUME: 176
INDEXADO EM: DBLP CrossRef
4
TÃTULO: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
AUTORES: Iliano Cervesato; Helmut Veith; Andrei Voronkov;
PUBLICAÇÃO: 2008, FONTE: LPAR, VOLUME: 5330
AUTORES: Iliano Cervesato; Helmut Veith; Andrei Voronkov;
PUBLICAÇÃO: 2008, FONTE: LPAR, VOLUME: 5330
INDEXADO EM: DBLP