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

Publicações

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 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2025-06-25 às 07:08:23 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias