$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital

Avançada


Haeusler, Edward Hermann

19-
Professor
Departamento de Informática
PUC-Rio

Materiais Relacionados:


Orientador/Co-Orientador
- UMA ABORDAGEM EXPERIMENTAL SOBRE A COMPRESSÃO DE PROVAS EM DEDUÇÃO NATURAL MINIMAL IMPLICACIONAL
26/03/2020

- A LÓGICA SOBRE LEIS IALC:IMPLEMENTAÇÃO DE PROVAS DE CORREÇÃO E COMPLETUDE E PROPOSTA DE FORMALIZAÇÃO DA LEGISLAÇÃO BRASILEIRA
19/03/2020

- FORMALIZAÇÃO DE ALGORITMOS DE CRIPTOGRAFIA EM UM ASSISTENTE DE PROVAS INTERATIVO
13/12/2018

- UMA ABORDAGEM PARA MODELAR, ARMAZENAR E ACESSAR SEQUÊNCIAS BIOLÓGICAS
03/04/2013

- INTEGRANDO MODELAGEM INTENCIONAL À MODELAGEM DE PROCESSOS
24/07/2012

- UMA BIBLIOTECA DE COMPONENTES DE SOFTWARE PARA SIMULADORES DE RADAR
06/03/2012

- CRIAÇÃO AUTOMÁTICA DE VISÕES MATERIALIZADAS EM SGBDS RELACIONAIS
07/11/2011

- PROVENIÊNCIA PARA WORKFLOWS DE BIOINFORMÁTICA
25/10/2011

- INFRAESTRUTURA PARA PROVADORES INTERATIVOS DE TEOREMAS NA WEB
27/09/2010

- CONFIANÇA EM AGENTES INTELIGENTES
27/03/2008

- LÓGICA MODAL DE PRIMEIRA-ORDEM PARA RACIOCINAR SOBRE JOGOS
25/06/2007

- COMPACTAÇÃO DE PROVAS LÓGICAS
01/06/2007

- ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS:UMA ABORDAGEM BASEADA EM LINGUAGEM
03/04/2006

- UM MODELO CONCEITUAL PARA BIOLOGIA MOLECULAR
17/03/2006

- ANÁLISE FORMAL DE MODELOS DE SOFTWARE ORIENTADA POR ABSTRAÇÕES ARQUITETURAIS
04/10/2004

- UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
23/09/2004

- EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS
10/09/2004

- TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
06/08/2004

- TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
22/01/2004

- ANÁLISE DE ESTRATÉGIAS UTILIZANDO VERIFICAÇÃO FORMAL DE MODELOS
29/12/2003



<< voltar
Agora você pode usar seu login do SAU no Maxwell!!
Fechar Janela



* Esqueceu a senha:
Senha SAU, clique aqui
Senha Maxwell, clique aqui