|
|||||
|
|
Exploring Computational Contents of Intuitionist Proofs |
|
| Authors: | da Silva Geiza M Hamazaki; Haeusler Edward Hermann; Veloso Paulo A S |
| Institution: | 1 Department of Informatics, PUC-Rio, Rua Marquês de São Vicente, 225, Gávea Rio de Janeiro, RJ – Brasil-22453-900 E-mail: hamazaki{at}inf.puc-rio.br, 2 Department of Informatics, PUC-Rio, Rua Marquês de São Vicente, 225, Gávea Rio de Janeiro, RJ – Brasil-22453-900 E-mail: hermann{at}inf.puc-rio.br, 3 PUC-Rio, Rua Marquês de São Vicente, 225, Gávea Rio de Janeiro, RJ – Brasil – 22453-900. |
| Abstract: | |
| Keywords: | Program Synthesis Intuitionistic Logic Natural Deduction |
| 本文献已被 Oxford 等数据库收录！ | |