Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Danièle Beauquier
Danièle Beauquier
at_id:
orcid_id:
Disciplines:
Computer sciences
Mathematics
Edit
Merge
See Links
Thesis:
Automates sur les mots bi-infinis
Directed Thesis:
Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre
Développement et réalisation d'algorithmes traitant des données floues dans des logiques plurivalentes