Mapa das Instalações
Publicações
Higher-Order and Symbolic Computation
Título
Higher-Order and Symbolic Computation
Tipo
Livro de Atas de Conferência Internacional
Ano
2011
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
Vol.:
6654 LNCS
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Contidas
Shortcut fusion rules for the derivation of circular and higher-order programsImportada do Authenticus
Artigo em Livro de Atas de Conferência Internacional
Pardo, A (Autor) (Outra); Joao Paulo Fernandes (Autor) (FEUP); Saraiva, J (Autor) (Outra)
2011
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-09 às 16:53:34 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico
Página gerada em: 2025-09-09 às 16:53:34 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico