Terminal de consulta web

Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos

Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos

Jeronimo Pellegrini

DISSERTAÇÃO

Português

T/UNICAMP P364e

Campinas, SP : [s.n.], 1997.

65f.

Orientador: Jacques Wainer

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação

Resumo: Nesta tese, mostramos uma implementação do processo de diagonalização de Cantor no sistema de prova de teoremas Oyster-Clam. Para isto, tivemos que estender o Oyster com comparação e indução em tipos, e desenvolvemos um método e algumas regras de reescrita. As regras de reescrita lidam com... Ver mais
Abstract: In this thesis, we show an implementation of Cantor's digitalization process in the Oyster-Clam theorem proving system. To achieve that, we have extended the Oyster logic with comparison and induction on types, and developed a method and some rewrite rules. The rewrite rules deal with... Ver mais

Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos

Jeronimo Pellegrini

										

Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos

Jeronimo Pellegrini

    Exemplares

    Nº de exemplares: 2
    Não existem reservas para esta obra