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

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 Desporto da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2026-02-14 às 07:14:25 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico