Você está em: Início » Publicações » Visualização » On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
Título
On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
Tipo
Relatório Técnico
Ano
2002
Autores
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
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
Classificação Científica
FOS:
Ciências exactas e naturais
CORDIS:
Ciências Físicas
Outras Informações
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
Notas:
Nº de páginas:
17
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas
Dos mesmos autores
Mechanically proving termination using polynomial interpretations. (2004)
Relatório Técnico
Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain
Relatório Técnico
Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain
Mechanically proving termination using polynomial interpretations (2005)
Artigo em Revista Científica Internacional
Evelyne Contejean; Claude Marche; Ana Paula Tomas; Xavier Urbain
Artigo em Revista Científica Internacional
Evelyne Contejean; Claude Marche; Ana Paula Tomas; Xavier Urbain
Das mesmas áreas científicas
Modelos Fenomenológicos de Distribuição Intercompartimental de Substâncias Radioactivas (2007)
Tese
Maria de Lurdes Proença de Amorim Dinis; António Fiúza
Tese
Maria de Lurdes Proença de Amorim Dinis; António Fiúza
Modelo Integrado para a Avaliação da Exposição Ambiental a Resíduos Mineiros Radioactivos (2000)
Tese
Maria de Lurdes Proença de Amorim Dinis; António Fiúza
Tese
Maria de Lurdes Proença de Amorim Dinis; António Fiúza
Discrição dos estados excitados de nucleão e delta no ambito de modelo sigma quinal (1995)
Tese
Diana Urbano
Tese
Diana Urbano
Value-at-Risk Estimation and the PORT Mean-of-order-p Methodology. Notas e Comunicações, CEAUL 04/16. (2016)
Trabalho Académico
Fernanda Figueiredo; Gomes, M.I.; Henriques-Rodrigues, L.
Trabalho Académico
Fernanda Figueiredo; Gomes, M.I.; Henriques-Rodrigues, L.
Network Flow Problems and Optimal Location of Traffic Count-Posts at Urban Intersections (2003)
Relatório Técnico
Ana Paula Tomás; Marta Andrade; Américo Costa
Relatório Técnico
Ana Paula Tomás; Marta Andrade; Américo Costa
Copyright 1996-2024 © Faculdade de Medicina da Universidade do Porto
I Termos e Condições
I Acessibilidade
I Índice A-Z
I Livro de Visitas
Página gerada em: 2024-09-29 às 09:58:55
Página gerada em: 2024-09-29 às 09:58:55