Teoria das Equações Intervalares Locais Documento

membro de

• https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377 

orientado por

• Benedito Melo Acióly

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

• Regivan Hugo Nunes Santiago

data de publicação

• 1999-01-01

prêmio patrocinado pela

• UNIVERSIDADE FEDERAL DE PERNAMBUCO  Organização

áreas de investigação

• Lógicas e Semântica de Programas
• Matemática Intervalar

palavras-chave

• Computação - Fundamentos
• Equações Intervalares
• Equações Intervalares Locais - Teoria
• Igualdade Local de Scott
• Lógica
• Matemática Intervalar - Fundamentos
• Matemática intervalar
• Simple Equality
• Teoria dos Domínios
• Teorias Não-Classicas
• Topos

identificador BrCris

• d5d6d414410c08878d9d3ef759ae1fd6