Beniamino Accattoli
AuthID: R-00J-E4K
1
TÃTULO: Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018
AUTORES: Beniamino Accattoli; Carlos Olarte;
PUBLICAÇÃO: 2019, FONTE: LSFA, VOLUME: 344
AUTORES: Beniamino Accattoli; Carlos Olarte;
PUBLICAÇÃO: 2019, FONTE: LSFA, VOLUME: 344
INDEXADO EM: 
DBLP
DBLP