Fernández, Maribel; Finger, Marcelo (Editor) 
Fonte: Electronic Notes in Theoretical Computer Science. Unidade: IME
Assunto: CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNÁNDEZ, Maribel. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.entcs.2014.06.001. Acesso em: 06 nov. 2025. , 2014APA
Fernández, M. (2014). Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.entcs.2014.06.001NLM
Fernández M. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio] [Internet]. Electronic Notes in Theoretical Computer Science. 2014 ; 305 1-3.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2014.06.001Vancouver
Fernández M. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio] [Internet]. Electronic Notes in Theoretical Computer Science. 2014 ; 305 1-3.[citado 2025 nov. 06 ] Available from: https://doi.org/10.1016/j.entcs.2014.06.001
