Go to:
Logótipo
You are in:: Start > Publications > View > On Breaking Symmetry in Diophantine Systems for AC-unification of Higher-Order Patterns
Map of Premises
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
Publication

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

See all (67)

Recommend this page Top
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-10-01 at 08:59:28 | Acceptable Use Policy | Data Protection Policy | Complaint Portal