Mostrando
1 - 3
resultados de
3
para a busca '
Uustalu, Tarmo
'
Pular para o conteúdo
Portal do Governo Brasileiro
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
Uustalu, Tarmo
Exportar
Exportar RIS
Exportar CSV
Mostrando
1 - 3
resultados de
3
para a busca '
Uustalu, Tarmo
'
, tempo de busca: 0,07s
Refinar Resultados
Ordenar
Relevância
Data descendente
Data ascendente
Área
Autor
Título
1
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
por
Pinto, Luís F.
Publicado em 2018
Outros Autores:
“
...
Uustalu
,
Tarmo
...
”
Acessar documento
Artigo
2
Plotkin's call-by-value λ-calculus as a modal calculus
por
Espírito Santo, José
Publicado em 2022
Outros Autores:
“
...
Uustalu
,
Tarmo
...
”
Acessar documento
Artigo
3
Type-based termination of recursive definitions
por
Barthe, Gilles Jacques Denis
Publicado em 2004
Outros Autores:
“
...
Uustalu
,
Tarmo
...
”
Acessar documento
Artigo
Exportar CSV
Exportar RIS
Carregando...