Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Universidade Federal do Rio Grande do Norte
2001-12-01
|
| Series: | Princípios |
| Online Access: | http://www.principios.cchla.ufrn.br/10P-25-61.pdf |