@article{GEA_1975-1976__1__A16_0, author = {Cochet, Yves}, title = {Langages d\'efinis par des congruences}, journal = {Groupe d'\'etude d'alg\`ebre}, note = {talk:16}, pages = {1--7}, publisher = {Secr\'etariat math\'ematique}, volume = {1}, year = {1975-1976}, zbl = {0385.20038}, language = {fr}, url = {http://www.numdam.org/item/GEA_1975-1976__1__A16_0/} }
Cochet, Yves. Langages définis par des congruences. Groupe d'étude d'algèbre, Tome 1 (1975-1976), Exposé no. 16, 7 p. http://www.numdam.org/item/GEA_1975-1976__1__A16_0/
[1] Présentation et simplifiabilité de certains monoïdes, Séminaire Dubreil, 29e année, 1975/76, Journées sur les demi-groupes : Algèbre et combinatoire [1976. Paris], n° 13, p. | MR | Zbl
. -[2] Regular canonical systems, Arch. math. Logik und Grundlagenforsch., t. 6, 1964, p. 91-111. | MR | Zbl
. -[3] Une famille de congruences de Thue pour lesquelles le problème de l'équivalence est décidable. Application à l'équivalence des grammaires séparées, "Automata, langages and programming", p. 3-12. - Amsterdam, North-Holland publishing Company, 1973. | MR | Zbl
. -[4] Equivalence des grammaires simples, "Actes de l'école de printemps sur les langages algébriques [1973. Bonascre]" (à paraître). | Zbl
. -[5] Sur l'algébricité des classes de certaines congruences définies sur le monoïde libre, thèse 3e cycle, Mathématiques, Rennes, 1971.
. -[6] Une généralisation des ensembles de Dyck, Israël J. Math., t. 9, 1971, p. 389-395. | MR | Zbl
et . -[7] Pure grammars and pure languages, University of Waterloo, Dept of appl. Anal. and Comput. Sc., Res. Rep. CSRR 2027, 1970.
. -[8] On some families of languages related to the Dyck language, "Second Annual symposium on theory of computing" [1970. Northampton], p. 221-225. - New York, Association for Computing Machinery, 1970.
. -[9] Congruences parfaites et quasi parfaites, Séminaire Dubreil : Algèbre, 29e année, 1971/72, n° 7, 9 p. | Numdam | Zbl
et ). -[10] Congruences et théorème de Church-Rosser, Journées sur les demi-groupes ; Algèbre et combinatoire [1976. Paris] (Communication orale).
. -