Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural

Auteurs-es

  • Geiza Maria Hamazaki da Silva
  • Edward Hermann Haeusler

Résumé

Indisponível

Téléchargements

Les données relatives au téléchargement ne sont pas encore disponibles.

Téléchargements

Publié-e

02-10-2010

Comment citer

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: 18 mai. 2024.

Numéro

Vol. 8 No. 10 (2001): Princí­pios: revista de filosofia

Rubrique

Artigos

Licence

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:

Atribuição Atribuição (BY) Os licenciados têm o direito de copiar, distribuir, exibir e executar a obra e fazer trabalhos derivados dela, conquanto que deem créditos devidos ao autor ou licenciador, na maneira especificada por estes.

 

NãoComercial 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.

 

CompartilhaIgual (SA) Compartilha Igual (SA) Os licenciados devem distribuir obras derivadas somente sob uma licença idêntica à que governa a obra original ou menos restritiva.