Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
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-2025 © Centro de Desporto da Universidade do Porto I Termos e Condições I Acessibilidade I Índice A-Z
Página gerada em: 2025-11-23 às 04:28:15 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico