Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in descending order Title Sort by title in descending order
2012 Automates à contraintes semilinéaires = Automata with a semilinear constraint
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
1990 Complexité, langages hors-contexte et structures algébriques non associatives
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
2001 Programmes de branchement restreints pour un problème P-complet
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2006 Programmes de génération et machines de Turing algébriques
2018 Programmes de branchement catalytiques : algorithmes et applications
2012 Complexité raffinée du problème d'intersection d'automates
Number of results : 1620