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 ascending order Title Sort by title in ascending order
2018-08 Programmes de branchement catalytiques : algorithmes et applications
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2018-04 Le produit direct de fonctions et les programmes de branchement avec oracle
2012-01 Complexité raffinée du problème d'intersection d'automates
2006 Programmes de génération et machines de Turing algébriques
2001 Programmes de branchement restreints pour un problème P-complet
1999 Évolution de trois systèmes d'exploitation pour micro-ordinateurs. : UNIX-CP/M-DOS
1990 Classes de complexité engendrées par les programmes sur des familles de monoïdes abéliens
1992 Bornes sur la taille de programmes de branchement résolvant le problème d'appartenance à un groupoïde
1990 Complexité, langages hors-contexte et structures algébriques non associatives
Number of results : 1474