Sébastien Praud

According to our database, Sébastien Praud authored at least 2 papers in 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

First Order Linear Temporal Logic over Finite Time Structures.

Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique.

Véronique Benzaken, Serenella Cerrito, Sébastien Praud

Proceedings of the 15èmes Journées Bases de Données Avancées, 1999