Mostrando
1 - 7
resultados de
7
para a busca '
Matthes, Ralph
'
Pular para o conteúdo
Ir para o conteúdo
GovBR
Comunica BR
Acesso à informação
Participe
Legislação
Órgãos do Governo
Toggle navigation
Instituto Brasileiro de Informação em Ciência e Tecnologia
Início
Sobre
Fontes Coletadas
Indicadores
Contato
Faq
A sua conta
Sair
Entrar
Idioma
Português (Brasil)
English
Todos os campos
Título
Autor
Assunto
Buscar
Busca avançada
Autor
Matthes, Ralph
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 7
resultados de
7
para a busca '
Matthes, Ralph
'
, tempo de busca: 0,03s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por
Espírito Santo, José
Publicado em 2021
Outros Autores:
“
...
Matthes
,
Ralph
...
”
Acessar documento
2
Decidability of several concepts of finiteness for simple types
por
Espírito Santo, José
Publicado em 2019
Outros Autores:
“
...
Matthes
,
Ralph
...
”
Acessar documento
Artigo
3
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
por
Espírito Santo, José
Publicado em 2019
Outros Autores:
“
...
Matthes
,
Ralph
...
”
Acessar documento
Artigo
4
A coinductive approach to proof search
por
Espírito Santo, José
Publicado em 2013
Outros Autores:
“
...
Matthes
,
Ralph
...
”
Acessar documento
5
A coinductive approach to proof search through typed lambda-calculi
por
Espírito Santo, José
Publicado em 2021
Outros Autores:
“
...
Matthes
,
Ralph
...
”
Acessar documento
Artigo
6
Confluence for classical logic through the distinction between values and computations
por
Espírito Santo, José
Publicado em 2014
Outros Autores:
“
...
Matthes
,
Ralph
...
”
Acessar documento
7
Monadic translation of classical sequent calculus
por
Espírito Santo, José
Publicado em 2013
Outros Autores:
“
...
Matthes
,
Ralph
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...
Carregando...