Você está em: Start » Publications » View » 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
Title
On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
Type
Technical Report
Year
2002
Authors
Ana Paula Tomás
(Author)
FCUP
View Personal Page
You do not have permissions to view the institutional email.
Search for Participant Publications
View Authenticus page
Without ORCID
Evelyne Contejean
(Author)
Other
The person does not belong to the institution.
The person does not belong to the institution.
The person does not belong to the institution.
Without AUTHENTICUS
Without ORCID
Scientific classification
FOS:
Natural sciences
CORDIS:
Physical sciences
Other information
Language:
English
Type (Professor's evaluation):
Scientific
Notes:
No. of pages:
17
Documents
We could not find any documents associated to the publication.
Related Publications
Of the same authors
Mechanically proving termination using polynomial interpretations. (2004)
Technical Report
Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain
Technical Report
Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain
Mechanically proving termination using polynomial interpretations (2005)
Article in International Scientific Journal
Evelyne Contejean; Claude Marche; Ana Paula Tomas; Xavier Urbain
Article in International Scientific Journal
Evelyne Contejean; Claude Marche; Ana Paula Tomas; Xavier Urbain
Of the same scientific areas
Modelos Fenomenológicos de Distribuição Intercompartimental de Substâncias Radioactivas (2007)
Thesis
Maria de Lurdes Proença de Amorim Dinis; António Fiúza
Thesis
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)
Thesis
Maria de Lurdes Proença de Amorim Dinis; António Fiúza
Thesis
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)
Thesis
Diana Urbano
Thesis
Diana Urbano
Value-at-Risk Estimation and the PORT Mean-of-order-p Methodology. Notas e Comunicações, CEAUL 04/16. (2016)
Academic Work
Fernanda Figueiredo; Gomes, M.I.; Henriques-Rodrigues, L.
Academic Work
Fernanda Figueiredo; Gomes, M.I.; Henriques-Rodrigues, L.
Network Flow Problems and Optimal Location of Traffic Count-Posts at Urban Intersections (2003)
Technical Report
Ana Paula Tomás; Marta Andrade; Américo Costa
Technical Report
Ana Paula Tomás; Marta Andrade; Américo Costa
Copyright 1996-2024 © Faculdade de Medicina da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
I Guest Book
Page created on: 2024-07-19 at 17:21:10
Page created on: 2024-07-19 at 17:21:10