J. Almeida (1994):
Finite semigroups and universal algebra.
World Scientific,
Singapore,
doi:10.1142/2481.
J. Almeida (2005):
Profinite semigroups and applications.
In: V.B. Kudryavtsev, I.G. Rosenberg & M. Goldstein: Structural theory of automata, semigroups, and universal algebra,
NATO Science Series II: Mathematics, Physics and Chemistry 207.
Springer,
pp. 1–45,
doi:10.1007/1-4020-3817-8_1.
M. Arfi (1987):
Polynomial Operations on Rational Languages.
In: F.-J. Brandenburg, G. Vidal-Naquet & M. Wirsing: STACS,
Lecture Notes in Computer Science 247.
Springer,
pp. 198–206,
doi:10.1007/BFb0039607.
J. Brzozowski (1962):
Canonical regular expressions and minimal state graphs for definite events.
In: Mathematical theory of Automata,
Symposia series 12.
Research Institute, Brooklyn,
pp. 529–561.
J. Brzozowski & B. Li (2013):
Syntactic Complexity of R- and J-Trivial Regular Languages.
In: H. Jürgensen & R. Reis: DCFS,
Lecture Notes in Computer Science 8031.
Springer,
pp. 160–171,
doi:10.1007/978-3-642-39310-5_16.
L. Chaubard, J.-É. Pin & H. Straubing (2006):
Actions, wreath products ofıt C-varieties and concatenation product.
Theor. Comput. Sci. 356(1-2),
pp. 73–89,
doi:10.1016/j.tcs.2006.01.039.
R. Cohen & J. Brzozowski (1971):
Dot-Depth of Star-Free Events.
J. Comput. Syst. Sci. 5(1),
pp. 1–16,
doi:10.1016/S0022-0000(71)80003-X.
V. Diekert, P. Gastin & M. Kufleitner (2008):
A Survey on Small Fragments of First-Order Logic over Finite Words.
Int. J. Found. Comput. Sci. 19(3),
pp. 513–548,
doi:10.1142/S0129054108005802.
S. Eilenberg (1976):
Automata, Languages and Machines, vol. B..
Academic Press.
Z. Ésik & K.G. Larsen (2003):
Regular languages definable by Lindström quantifiers.
RAIRO - Theoretical Informatics and Applications 37(3),
pp. 179–241,
doi:10.1051/ita:2003017.
M. Gehrke, S. Grigorieff & J.-É. Pin (2008):
Duality and Equational Theory of Regular Languages.
In: L. Aceto, I. Damgård, L.A. Goldberg, M.M. Halldórsson, A. Ingólfsdóttir & I. Walukiewicz: ICALP (2),
Lecture Notes in Computer Science 5126.
Springer,
pp. 246–257,
doi:10.1007/978-3-540-70583-3_21.
M. Holzer & S. Jakobi (2013):
Minimization and characterizations for biautomata.
In: S. Bensch, F. Drewes, R. Freund & F. Otto: NCMA 294.
Österreichische Computer Gesellschaft,
pp. 179–193.
H. Kamp (1968):
Tense logic and theory of linear orders.
University of California.
O. Klíma & L. Polák (2008):
On varieties of meet automata.
Theor. Comput. Sci. 407(1-3),
pp. 278–289,
doi:10.1016/j.tcs.2008.06.005.
O. Klíma & L. Polák (2012):
On biautomata.
RAIRO - Theor. Inf. and Applic. 46(4),
pp. 573–592,
doi:10.1051/ita/2012014.
O. Klíma & L. Polák (2013):
Alternative Automata Characterization of Piecewise Testable Languages.
In: M.-P. Béal & O. Carton: Developments in Language Theory,
Lecture Notes in Computer Science 7907.
Springer,
pp. 289–300,
doi:10.1007/978-3-642-38771-5_26.
M. Kufleitner & P. Weil (2012):
On logical hierarchies within FO^\voidb@x 2-definable languages.
Logical Methods in Computer Science 8(3),
doi:10.2168/LMCS-8(3:11)2012.
M. Kunc (2003):
Equational description of pseudovarieties of homomorphisms.
RAIRO - Theoretical Informatics and Applications 37(3),
pp. 243–254,
doi:10.1051/ita:2003018.
O. Kupferman & Y. Lustig (2007):
Lattice Automata.
In: B. Cook & A. Podelski: VMCAI,
Lecture Notes in Computer Science 4349.
Springer,
pp. 199–213,
doi:10.1007/978-3-540-69738-1_14.
S. Lombardy & J. Sakarovitch (2008):
The universal automaton.
In: J. Flum, E. Grädel & T. Wilke: Logic and Automata,
Texts in Logic and Games 2.
Amsterdam University Press,
pp. 457–504.
R. McNaughton & S. Papert (1971):
Counter-Free Automata.
M.I.T. Press.
J.-É. Pin (2012):
Equational Descriptions of Languages.
Int. J. Found. Comput. Sci. 23(6),
pp. 1227–1240,
doi:10.1142/S0129054112400497.
J.-É. Pin & P. Weil (1996):
A Reiterman theorem for pseudovarieties of finite first-order structures.
Algebra Universalis 35(4),
pp. 577–595,
doi:10.1007/BF01243597.
J.-É. Pin & P. Weil (1997):
Ponynominal Closure and Unambiguous Product.
Theory Comput. Syst. 30(4),
pp. 383–422,
doi:10.1007/BF02679467.
T. Place & M. Zeitoun (2014):
Separating Regular Languages with First-Order Logic.
CoRR abs/1402.3277.
Available at http://arxiv.org/abs/1402.3277.
L. Polák (2004):
A classification of rational languages by semilattice-ordered monoids.
Archivum Mathematicum 40(4),
pp. 395–406.
Available at http://emis.muni.cz/journals/AM/04-4/index.html.
L. Polák (2005):
Minimalizations of NFA using the universal automaton.
Int. J. Found. Comput. Sci. 16(5),
pp. 999–1010,
doi:10.1142/S0129054105003431.
J. Reiterman (1982):
The Birkhoff theorem for finite algebras.
Algebra Universalis 14,
pp. 1–10,
doi:10.1007/BF02483902.
J. Rhodes & B. Steinberg (2009):
The q-theory of Finite Semigroups.
Monographs in Mathematics.
Springer,
doi:10.1007/b104443.
M. P. Schützenberger (1965):
On Finite Monoids Having Only Trivial Subgroups.
Information and Control 8(2),
pp. 190–194,
doi:10.1016/S0019-9958(65)90108-7.
T. Schwentick, D. Thérien & H. Vollmer (2001):
Partially-Ordered Two-Way Automata: A New Characterization of DA.
In: W. Kuich, G. Rozenberg & A. Salomaa: Developments in Language Theory,
Lecture Notes in Computer Science 2295.
Springer,
pp. 239–250,
doi:10.1007/3-540-46011-X_20.
I. Simon (1975):
Piecewise testable events.
In: H. Barkhage: Automata Theory and Formal Languages,
Lecture Notes in Computer Science 33.
Springer,
pp. 214–222,
doi:10.1007/3-540-07407-4_23.
J. Stern (1985):
Complexity of Some Problems from the Theory of Automata.
Information and Control 66(3),
pp. 163–176,
doi:10.1016/S0019-9958(85)80058-9.
H. Straubing (1981):
A Generalization of the Schützenberger Product of Finite Monoids.
Theor. Comput. Sci. 13,
pp. 137–150,
doi:10.1016/0304-3975(81)90036-0.
H. Straubing (2002):
On Logical Descriptions of Regular Languages.
In: S. Rajsbaum: LATIN,
Lecture Notes in Computer Science 2286.
Springer,
pp. 528–538,
doi:10.1007/3-540-45995-2_46.
H. Straubing & P. Weil (2012):
An introduction to finite automata and their connection to logic.
In: D. D'Souza & P. Shankar: Modern Applications of Automata Theory,
IISc Research Monographs Series.
World Scientific,
doi:10.1142/9789814271059_0001.
Available at http://arxiv.org/abs/1011.6491.
D. Thérien (1981):
Classification of Finite Monoids: The Language Approach.
Theor. Comput. Sci. 14,
pp. 195–208,
doi:10.1016/0304-3975(81)90057-8.
W. Thomas (1982):
Classifying Regular Events in Symbolic Logic.
J. Comput. Syst. Sci. 25(3),
pp. 360–376,
doi:10.1016/0022-0000(82)90016-2.
A. Trahtman (2001):
Piecewise and Local Threshold Testability of DFA.
In: R. Freivalds: FCT,
Lecture Notes in Computer Science 2138.
Springer,
pp. 347–358,
doi:10.1007/3-540-44669-9_33.
P. Weil (2004):
Algebraic Recognizability of Languages.
In: J. Fiala, V. Koubek & J. Kratochvíl: MFCS,
Lecture Notes in Computer Science 3153.
Springer,
pp. 149–175,
doi:10.1007/978-3-540-28629-5_8.
Available at http://arxiv.org/abs/cs/0609110.