Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
Maribel Fernández Marcelo Finger
Electronic Notes in Theoretical Computer Science Amsterdam v. 305, p. 1-3, 2014
Amsterdam 2014
Localização:
IME - Inst. Matemática e Estatística
(PROD-3003482 )(Acessar)