Iliano Cervesato
AuthID: R-00H-A50
1
TITLE: Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016 PDF
AUTHORS: Iliano Cervesato; Maribel Fernández;
PUBLISHED: 2017, SOURCE: LINEARITY, VOLUME: 238
AUTHORS: Iliano Cervesato; Maribel Fernández;
PUBLISHED: 2017, SOURCE: LINEARITY, VOLUME: 238
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2
TITLE: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014 Full Text
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef3
TITLE: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
AUTHORS: Iliano Cervesato; Helmut Veith; Andrei Voronkov;
PUBLISHED: 2008, SOURCE: LPAR, VOLUME: 5330
AUTHORS: Iliano Cervesato; Helmut Veith; Andrei Voronkov;
PUBLISHED: 2008, SOURCE: LPAR, VOLUME: 5330
INDEXED IN: DBLP
DBLP