Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial] (2015)
- Authors:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- DOI: 10.1016/j.tcs.2015.10.028
- Subjects: RACIOCÍNIO PROBABILÍSTICO; LINGUÍSTICA COMPUTACIONAL
- Language: Inglês
- Imprenta:
- Source:
- Título: Theoretical Computer Science
- ISSN: 1879-2294
- Volume/Número/Paginação/Ano: v. 606, p.1, nov. 2015)
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
ABNT
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]. 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.tcs.2015.10.028. Acesso em: 05 abr. 2026. , 2015 -
APA
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]. (2015). Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]. Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.tcs.2015.10.028 -
NLM
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial] [Internet]. Theoretical Computer Science. 2015 ; no 2015) 1.[citado 2026 abr. 05 ] Available from: https://doi.org/10.1016/j.tcs.2015.10.028 -
Vancouver
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial] [Internet]. Theoretical Computer Science. 2015 ; no 2015) 1.[citado 2026 abr. 05 ] Available from: https://doi.org/10.1016/j.tcs.2015.10.028 - Analytic methods for the logic of proofs
- Computational solutions for structural constraints: learning structural permissions in categorial grammar
- Sharing resource-sensitive knowledge using combinator logics
- Concurrency control for perceivedly instantaneous transactions in valid-time databases
- Advances in weighted logics for artificial intelligence. [Editorial]
- Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação
- The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio]
- Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
- Electronic Notes in Theoretical Computer Science
- A logical reconstruction of temporal databases
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
