Beniamino Accattoli
AuthID: R-00J-E4K
1
TITLE: Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018
AUTHORS: Beniamino Accattoli; Carlos Olarte;
PUBLISHED: 2019, SOURCE: LSFA, VOLUME: 344
AUTHORS: Beniamino Accattoli; Carlos Olarte;
PUBLISHED: 2019, SOURCE: LSFA, VOLUME: 344
INDEXED IN: 
DBLP
DBLP