Special issue Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]
Marcelo Finger Delia Kesner
Theoretical Computer Science Amsterdam v. 606, p.1, nov. 2015)Amsterdam 2015
Localização: IME - Inst. Matemática e Estatística (PROD-2860800 )(Acessar)