Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > WRS

Publicações

WRS

Título
WRS
Tipo
Livro de Atas de Conferência Internacional
Ano
2011
Conferência Internacional
International Workshop on Reduction Strategies in Rewriting and Programming
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Closed reduction strategies in a linear lambda calculus with recursion
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (FCUP); Mário Florido (Autor) (FCUP); Ian Mackie (Autor) (FCUP)
International Workshop on Reduction Strategies in Rewriting and Programming
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves (Autor) (FCUP)
Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-09-26 às 17:36:59 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico