Formalization of Context-Free Language Theory Documento

membro de

• https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 

orientado por

• Ruy José Guerra Barretto de Queiroz

produzido em

• https://brcris.ibict.br/individual/cour_f77616b3-7a57-4c77-b681-9bb6f4faa051 
• Computer Science graduate program  Programa de Pós-Graduação

tipo

• doctoral thesis

autores

• Marcus Vinícius Midena Ramos

data de publicação

• 2016-01-01

prêmio patrocinado pela

• UNIVERSIDADE FEDERAL DE PERNAMBUCO  Organização

áreas de investigação

• Context-free language theory
• Interactive proof assistants
• Lógica
• Lógica Matemática
• Mathematical formalization
• Teoria da Computação

palavras-chave

• Coq
• Teoria da Computacao
• Teoria de Tipos
• assistente de prova
• context-free
• formalization
• formalização da matemática
• language theory
• proof assistant
• proof assistants

identificador BrCris

• 8bbd89bd1425879976db624070ee6655

identificador Oasisbr

• UFPE_cfba6694a6fd26f1ac2b53f94f6b23ce