Contribution aux fondements des méthodes formelles : jeux, logique et automates

Cette thèse d'HDR en anglais, présente l'essentiel de mes travaux de 1996 à 2005. Voir le résumé anglais pour plus de détails.

Bibliographic Details
Main Author:	Janin, David
Language:	ENG
Published:	Université Sciences et Technologies - Bordeaux I 2005
Subjects:	[INFO:INFO_LO] Computer Science/Logic in Computer Science [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory [INFO:INFO_GT] Computer Science/Computer Science and Game Theory [INFO:INFO_MA] Computer Science/Multiagent Systems Logique monadique du second order mu-calul theorie des jeux jeux discrets distribués spécification vérification et synthèse de programmes
Online Access:	http://tel.archives-ouvertes.fr/tel-00659990 http://tel.archives-ouvertes.fr/docs/00/66/05/47/PDF/full.pdf

Similar Items