Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Serenella Cerrito
Serenella Cerrito
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Contribution de la logique lineaire au probleme de la negation par echec
Directed Thesis:
Towards Synthesizing Open Systems : Tableaux For Multi-Agent Temporal Logics
Bases de données, contraintes d'intégrité et logiques modales
Démonstration automatique en logique temporelle : application aux contraintes d'intégrité dynamiques