Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Mechanically proving termination using polynomial interpretations.

Mechanically proving termination using polynomial interpretations.

Título
Mechanically proving termination using polynomial interpretations.
Tipo
Relatório Técnico
Ano
2004
Autores
Evelyne Contejean
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Claude Marché
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Ana Paula Tomás
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Xavier Urbain
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Classificação Científica
FOS: Ciências exactas e naturais
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Notas: Internal Report, LRI 1382
Referência: https://www.lri.fr/~bibli/Rapports-internes/2004/RR1382.pdf
Nº de páginas: 31
Documentos
Não foi encontrado nenhum documento associado à publicação.
Recomendar Página Voltar ao Topo
Copyright 1996-2026 © Faculdade de Farmácia da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2026-02-07 às 11:10:49 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico