Partager cette page :

Complexité algorithmique des beaux pré-ordres

le 27 novembre 2012

de 15h30 à 17h00

ENS Rennes Salle du conseil
Plan d'accès

Intervention de Sylvain Schmitz - ENS Cachan, LSV. Séminaire du département Informatique et télécommunications.

Les beaux pré-ordres constituent un outil fondamental en logique et en informatique. Ils fournissent l'argument de terminaison dans de nombreux résultats de décidabilité, que ce soit en résolution de contraintes, déduction automatique, analyse de programme. Ce qui est moins bien connu est que, au-delà de la décidabilité, ces usages ont généralement un contenu algorithmique, amenant à des preuves de complexité.

Travaux en commun avec D. Figueira, S. Figueira, S. Haddad et Ph. Schnoebelen.
Thématique(s)
Formation, Recherche - Valorisation
Contact
François Schwarzentruber

Mise à jour le 9 septembre 2019