@article{ITA_1983__17_4_331_0, author = {Knast, Robert}, title = {Some theorems on graph congruences}, journal = {RAIRO. Informatique th\'eorique}, pages = {331--342}, publisher = {EDP-Sciences}, volume = {17}, number = {4}, year = {1983}, mrnumber = {743893}, language = {en}, url = {http://archive.numdam.org/item/ITA_1983__17_4_331_0/} }
Knast, Robert. Some theorems on graph congruences. RAIRO. Informatique théorique, Tome 17 (1983) no. 4, pp. 331-342. http://archive.numdam.org/item/ITA_1983__17_4_331_0/
1. Characterization of Locally Testable Events, Discrete Math., Vol. 4 1973, pp. 243-271. | MR | Zbl
and ,2. Automata, Languages and Machines, Vol. B, 1976, Academic Press. | Zbl
,3. A Semigroup Characterization of Dot-Depth One Languages R.A.I.R.O., Informatique théorique, Vol. 17, No. 4, 1983, pp. 321-330. | Numdam | MR | Zbl
,4. Piecewise Testable Events {2nd GI-Professional Conference on Automata Theory and Formal Languages, L.N. in Computer Science, Vol. 33, 1975, Springer Verlag, pp. 214-222). | MR | Zbl
,