Opérations implicites et variétés de semi-groupes finis

par Marc Zeitoun

Thèse de doctorat en Informatique

Sous la direction de Jean-Éric Pin.

Soutenue en 1993

à Paris 7 .


  • Résumé

    Le calcul et la décidabilité du supremum de deux pseudo variétés de semi groupes est un problème difficile en dépit de son apparente simplicité. L'exemple le plus surprenant est du à Albert, Baldinger et Rhodes (1992): Le supremum de deux pseudo équationnelles de bases finies, donc décidables peut ne pas être décidable. À l'aide de la théorie des opérations implicites, nous résolvons deux problèmes ouverts de ce type proposés dans le traité d'Almeida semigrupos finitos e algebra universal, publicacoes do instituto de matematica e estatistica da universidade de Sao Paulo: d'une part, la pseudo variété j b n'est pas de base finie mais est décidable; d'autre part, une formulation explicite de la pseudo variété li b est donnée. Les preuves sont basées sur des arguments topologiques et algébriques d'une part, combinatoires d'autre part

  • Titre traduit

    Implicit operations and varieties of finite semigroups


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 162 f.
  • Notes : Publication autorisée par le jury
  • Annexes : 93 REF. Bibliogr. f. 153-159. Index

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
  • Cote : T930559
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1993

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1993PA077221
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.