Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

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
Mechanically proving termination using polynomial interpretations (2005)
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
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
Discrição dos estados excitados de nucleão e delta no ambito de modelo sigma quinal (1995)
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.
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

Ver todas (67)

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Última actualização: 2016-03-23 I  Página gerada em: 2024-11-02 às 19:47:25 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias