Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
Resumo
IndisponívelDownloads
Não há dados estatísticos.
Downloads
Publicado
02-10-2010
Como Citar
SILVA, G. M. H. da; HAEUSLER, E. H. Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural. Princípios: Revista de Filosofia (UFRN), [S. l.], v. 8, n. 10, p. 25–61, 2010. Disponível em: https://periodicos.ufrn.br/principios/article/view/627. Acesso em: 21 nov. 2024.
Edição
Seção
Artigos
Licença
Autores mantêm os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
Termos da licença:
Não Comercial (NC) | Os licenciados podem copiar, distribuir, exibir e executar a obra e fazer trabalhos derivados dela, desde que sejam para fins não comerciais. |
Compartilha Igual (SA) | Os licenciados devem distribuir obras derivadas somente sob uma licença idêntica à que governa a obra original ou menos restritiva. |