### 6 papers:

- FoSSaCS-2014-AdamekMMU #theorem
- Generalized Eilenberg Theorem I: Local Varieties of Languages (JA, SM, RSRM, HU), pp. 366–380.
- LICS-CSL-2014-LicataF #type system
- Eilenberg-MacLane spaces in homotopy type theory (DRL, EF), p. 9.
- CIAA-2008-Razet #finite
- Finite Eilenberg Machines (BR), pp. 242–251.
- LATA-2008-Steinberg #matrix #sequence #theorem
- Subsequence Counting, Matrix Representations and a Theorem of Eilenberg (BS), pp. 6–10.
- DLT-2005-BedonR #linear #order #theorem #word
- Schützenberger and Eilenberg Theorems for Words on Linear Orderings (NB, CR), pp. 134–145.
- ICALP-1991-Wilke #theorem
- An Eilenberg Theorem for Infinity-Languages (TW), pp. 588–599.