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

Authors

  • Geiza Maria Hamazaki da Silva
  • Edward Hermann Haeusler

Abstract

Indisponível

Downloads

Download data is not yet available.

Downloads

Published

02-10-2010

How to Cite

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.

Issue

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

Section

Artigos

License

Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.