Domain theory in logical form, Annals of Pure and Applied Logic 51, pp.1-77, 1991. ,
Finite Semigroups and Universal Algebra, World Scientific, vol.3, 1994. ,
DOI : 10.1142/2481
Profinite semigroups and applications, NATO Sci. Ser. II Math. Phys. Chem, vol.207, pp.1-45, 2005. ,
DOI : 10.1007/1-4020-3817-8_1
Pin and X. Soler-Escrivà, Formations of finite monoids and formal languages: Eilenberg's variety theorem revisited, Forum Mathematicum, 2012. ,
Operations Preserving Recognizable Languages, Theoretical Computer Science, vol.354, pp.405-420, 2006. ,
DOI : 10.1007/978-3-540-45077-1_32
URL : https://hal.archives-ouvertes.fr/hal-00112814
Priestley Style Duality for Distributive Meet-semilattices, Studia Logica, vol.67, issue.1, pp.83-123, 2011. ,
DOI : 10.1007/s11225-011-9323-5
Minimization via Duality, Lecture Notes in Computer Science, vol.7456, pp.191-205, 2012. ,
DOI : 10.1007/978-3-642-32621-9_14
Moore-Smith Convergence in General Topology, The Annals of Mathematics, vol.38, issue.1, pp.39-56, 1937. ,
DOI : 10.2307/1968508
Lattice theory, 1979. ,
DOI : 10.1090/coll/025
Algebra-coalgebra duality in brzozowski's minimization algorithm, ACM Transactions on Computational Logic (TOCL), 2013. ,
DOI : 10.1145/2490818
Handbook of Categorical Algebra, 1994. ,
General topology. Chapters 1?4, Elements of Mathematics, 1998. ,
Equations Defining the Polynomial Closure of a Lattice of Regular Languages, Lecture Notes in Computer Science, vol.5556, pp.115-126, 2009. ,
DOI : 10.1007/978-3-642-02930-1_10
URL : https://hal.archives-ouvertes.fr/hal-00423494
On a Decision Method in Restricted Second Order Arithmetic, Proceedings of the International Congress on Logic, pp.1-11, 1962. ,
DOI : 10.1007/978-1-4613-8928-6_23
The Theory of Stabilisation Monoids and Regular Cost Functions, ICALP, pp.139-150, 2009. ,
DOI : 10.1007/978-3-642-02930-1_12
URL : https://hal.archives-ouvertes.fr/hal-00439259
Algebraic Theory of Lattices, 1973. ,
Introduction to Lattices and Order, 2002. ,
DOI : 10.1017/CBO9780511809088
Stone duality: An application in the theory of formal languages, Master's thesis, 2008. ,
Tree acceptors and some of their applications, Journal of Computer and System Sciences, vol.4, issue.5, pp.406-451, 1970. ,
DOI : 10.1016/S0022-0000(70)80041-1
Extended temporal logic on finite words and wreath products of monoids with distinguished generators, 22] Z. ´ Esik Developments in language theory. 6th international conference, DLT 2002 Lecture Notes in Comput. Sci. n?2450, pp.147-151, 1974. ,
Stone Duality and the Recognisable Languages over an Algebra, in Algebra and Coalgebra in Computer Science, LNCS, vol.5728, pp.236-250, 2009. ,
Duality and Recognition, Mathematical Foundations of Computer Science, pp.3-18, 2011. ,
DOI : 10.1007/978-3-642-22993-0_3
URL : https://hal.archives-ouvertes.fr/hal-00859717
Canonical Extensions, Esakia Spaces, and Universal Models, Outstanding Contributions to Logic, vol.4, pp.9-41, 2014. ,
DOI : 10.1007/978-94-017-8860-1_2
Duality and Equational Theory of Regular Languages, Lect. Notes Comp.Sci. (ICALP), vol.5125, pp.246-257, 2008. ,
DOI : 10.1007/978-3-540-70583-3_21
URL : https://hal.archives-ouvertes.fr/hal-00340803
A Topological Approach to Recognition, LNCS, vol.6199, pp.151-162, 2010. ,
DOI : 10.1007/978-3-642-14162-1_13
URL : https://hal.archives-ouvertes.fr/hal-01101846
Bounded distributive lattice expansions, MATHEMATICA SCANDINAVICA, vol.94, issue.1, pp.13-45, 2004. ,
DOI : 10.7146/math.scand.a-14428
Canonical extensions of double quasioperator algebras: An algebraic perspective on duality for certain algebras with binary operations, Journal of Pure and Applied Algebra, vol.209, issue.1, pp.269-290, 2007. ,
DOI : 10.1016/j.jpaa.2006.06.001
Duality for quasioperator algebras via their canonical extensions, Stud. Log, pp.31-68, 2007. ,
Varieties of complex algebras, Annals of Pure and Applied Logic, vol.44, issue.3, pp.173-242, 1989. ,
DOI : 10.1016/0168-0072(89)90032-8
A Topology for Free Groups and Related Groups, The Annals of Mathematics, vol.52, issue.1, pp.127-139, 1950. ,
DOI : 10.2307/1969513
The enriched Vietoris monad on representable spaces, Journal of Pure and Applied Algebra, vol.218, issue.12, pp.2274-2318, 2014. ,
DOI : 10.1016/j.jpaa.2014.04.002
Boolean Algebras with Operators. Part I, American Journal of Mathematics, vol.73, issue.4, pp.891-939, 1951. ,
DOI : 10.2307/2372123
Boolean Algebras with Operators, American Journal of Mathematics, vol.74, issue.1, pp.127-162, 1952. ,
DOI : 10.2307/2372074
Representation of Events in Nerve Nets and Finite Automata, Automata Studies, pp.3-42, 1956. ,
DOI : 10.1515/9781400882618-002
AROUND DOT-DEPTH ONE, International Journal of Foundations of Computer Science, vol.23, issue.06, pp.1323-1340, 2012. ,
DOI : 10.1142/S0129054112400552
Equational description of pseudovarieties of homomorphisms, RAIRO - Theoretical Informatics and Applications, vol.37, issue.3, pp.243-254, 2003. ,
DOI : 10.1051/ita:2003018
Algebraic automata and context-free sets, Information and Control, vol.11, issue.1-2, pp.3-29, 1967. ,
DOI : 10.1016/S0019-9958(67)90353-1
Petri nets, event structures and domains, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981. ,
DOI : 10.1007/BFb0022474
Regular languages and stone duality, Theory of Computing Systems, vol.43, issue.2, pp.121-134, 1997. ,
DOI : 10.1007/BF02679444
On varieties, generalized varieties and pseudovarieties of homomorphisms, in Contributions to general algebra, pp.173-188, 2005. ,
Representation of Distributive Lattices by means of ordered Stone Spaces, Bulletin of the London Mathematical Society, vol.2, issue.2, pp.186-190, 1970. ,
DOI : 10.1112/blms/2.2.186
Decidability of Second-Order Theories and Automata on Infinite Trees, Transactions of the American Mathematical Society, vol.141, pp.1-35, 1969. ,
Completely distributive complete lattices, Proc. Amer, pp.677-680, 1952. ,
DOI : 10.1090/S0002-9939-1952-0052392-3
The Birkhoff theorem for finite algebras, Algebra Universalis, vol.3, issue.2, pp.1-10, 1982. ,
DOI : 10.1007/BF02483902
The q-theory of Finite Semigroups, 2008. ,
DOI : 10.1007/b104443
Quasiorders and sublattices of distributive lattices, p.1134, 2002. ,
Boolean algebras of regular languages, Proceedings of the 15th international conference on Developments in language theory, pp.386-396, 2011. ,
The theory of representations for Boolean algebras, TAMS, vol.40, pp.37-111, 1936. ,
Topological representations of distributive lattices and Brouwerian logics, C ¸ asopis P¸estP¸est, Math. Fys, vol.67, pp.1-25, 1937. ,
On Logical Descriptions of Regular Languages, Lecture Notes in Comput. Sci, pp.528-538, 2002. ,
DOI : 10.1007/3-540-45995-2_46
An introduction to quantaloid-enriched categories, Fuzzy Sets and Systems, pp.95-116, 2012. ,
Generalized finite automata theory with an application to a decision problem of second-order logic, Mathematical Systems Theory, vol.12, issue.1, pp.57-81, 1968. ,
DOI : 10.1007/BF01691346