Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia

• Projeto de Iniciação Científica
• Estudante (bolsista IC UTFPR): Emerson Shigeo Sugimoto.
• Orientador: Professor Adolfo Neto.
• Período: 08/2009 a 07/2010.

Descrição das Atividades

1. Levantamento bibliográfico sobre implementações de provadores de teoremas para a lógica C1
2. Estudo detalhado do sistema KEMS
3. Especificação e Projeto da Estratégia
4. Implementação da Estratégia
5. Testes
6. Escrita do Relatório Final