{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:42:28Z","timestamp":1743115348272,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319574172"},{"type":"electronic","value":"9783319574189"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57418-9_2","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T03:11:16Z","timestamp":1493003476000},"page":"24-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Dual Space of a Lattice as the Completion of a Pervin Space"],"prefix":"10.1007","author":[{"given":"Jean-\u00c9ric","family":"Pin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"2_CR1","first-page":"1","volume":"17","author":"J Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Repr. Theory Appl. Categ. 17, 1\u2013507 (2006). Reprint of the 1990 original [Wiley, New York; MR1051419]","journal-title":"Repr. Theory Appl. Categ."},{"key":"2_CR2","first-page":"313","volume":"46","author":"J Almeida","year":"1989","unstructured":"Almeida, J.: Residually finite congruences and quasi-regular subsets in uniform algebras. Portugali\u00e6 Math. 46, 313\u2013328 (1989)","journal-title":"Portugali\u00e6 Math."},{"key":"2_CR3","volume-title":"Finite Semigroups and Universal Algebra","author":"J Almeida","year":"1994","unstructured":"Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific Publishing Co. Inc., River Edge (1994). Translated from the 1992 Portuguese original and revised by the author"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/1-4020-3817-8_1","volume-title":"Structural Theory of Automata, Semigroups and Universal Algebra","author":"J Almeida","year":"2005","unstructured":"Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G., Goldstein, M. (eds.) Structural Theory of Automata, Semigroups and Universal Algebra, vol. 207, pp. 1\u201345. Springer, Dordrecht (2005)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-94-011-0149-3_4","volume-title":"NATO Advanced Study Institute Semigroups, Formal Languages and Groups","author":"J Almeida","year":"1995","unstructured":"Almeida, J., Weil, P.: Relatively free profinite monoids: an introduction and examples. In: Fountain, J. (ed.) NATO Advanced Study Institute Semigroups, Formal Languages and Groups, vol. 466, pp. 73\u2013117. Kluwer Academic Publishers, Dordrecht (1995)"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1016\/0022-0000(92)90014-A","volume":"44","author":"DAM Barrington","year":"1992","unstructured":"Barrington, D.A.M., Compton, K., Straubing, H., Th\u00e9rien, D.: Regular languages in \n                      \n                        \n                      \n                      $${\\rm NC}^1$$\n                      \n                        \n                          \n                            \n                              NC\n                            \n                            1\n                          \n                        \n                      \n                    . J. Comput. System Sci. 44(3), 478\u2013499 (1992)","journal-title":"J. Comput. System Sci."},{"key":"2_CR7","series-title":"Elements of Mathematics","volume-title":"General Topology. Chapters 1\u20134","author":"N Bourbaki","year":"1998","unstructured":"Bourbaki, N.: General Topology. Chapters 1\u20134. Elements of Mathematics, vol. 18. Springer, Berlin (1998)"},{"key":"2_CR8","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Natural Dualities for the Working Algebraist","author":"DM Clark","year":"1998","unstructured":"Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge Studies in Advanced Mathematics, vol. 57. Cambridge University Press, Cambridge (1998)"},{"issue":"1\u20134","key":"2_CR9","first-page":"329","volume":"57","author":"A Cs\u00e1sz\u00e1r","year":"1993","unstructured":"Cs\u00e1sz\u00e1r, A.: \n                      \n                        \n                      \n                      $$D$$\n                      \n                        \n                          D\n                        \n                      \n                    -completions of Pervin-type quasi-uniformities. Acta Sci. Math. 57(1\u20134), 329\u2013335 (1993)","journal-title":"Acta Sci. Math."},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1011260817824","volume":"9","author":"M Ern\u00e9","year":"2001","unstructured":"Ern\u00e9, M.: Ideal completions and compactifications. Appl. Categ. Struct. 9(3), 217\u2013243 (2001)","journal-title":"Appl. Categ. Struct."},{"key":"2_CR12","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-94-017-8860-1_2","volume-title":"Leo Esakia on Duality in Modal and Intuitionistic Logics","author":"M Gehrke","year":"2014","unstructured":"Gehrke, M.: Canonical extensions, esakia spaces, and universal models. In: Bezhanishvili, G. (ed.) Leo Esakia on Duality in Modal and Intuitionistic Logics. OCL, vol. 4, pp. 9\u201341. Springer, Dordrecht (2014). doi:\n                      10.1007\/978-94-017-8860-1_2"},{"issue":"7","key":"2_CR13","doi-asserted-by":"publisher","first-page":"2711","DOI":"10.1016\/j.jpaa.2015.12.007","volume":"220","author":"M Gehrke","year":"2016","unstructured":"Gehrke, M.: Stone duality, topological algebra, and recognition. J. Pure Appl. Algebra 220(7), 2711\u20132747 (2016)","journal-title":"J. Pure Appl. Algebra"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-70583-3_21","volume-title":"Automata, Languages and Programming","author":"M Gehrke","year":"2008","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.\u00c9.: Duality and equational theory of regular languages. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 246\u2013257. Springer, Heidelberg (2008). doi:\n                      10.1007\/978-3-540-70583-3_21"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-14162-1_13","volume-title":"Automata, Languages and Programming","author":"M Gehrke","year":"2010","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.\u00c9.: A topological approach to recognition. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 151\u2013162. Springer, Heidelberg (2010). doi:\n                      10.1007\/978-3-642-14162-1_13"},{"key":"2_CR16","volume-title":"Set Theory","author":"F Hausdorff","year":"1957","unstructured":"Hausdorff, F.: Set Theory. Chelsea Publishing Company, New York (1957). Translated by Aumann, J.R., et al."},{"key":"2_CR17","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1986","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1986). Reprint of the 1982 edition"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"K\u00fcnzi, H.-P.A.: Quasi-uniform spaces in the year 2001. In: Recent Progress in General Topology, II, pp. 313\u2013344. North-Holland, Amsterdam (2002)","DOI":"10.1016\/B978-044450980-2\/50012-1"},{"issue":"14","key":"2_CR19","doi-asserted-by":"publisher","first-page":"2745","DOI":"10.1016\/j.topol.2007.05.008","volume":"154","author":"H-PA K\u00fcnzi","year":"2007","unstructured":"K\u00fcnzi, H.-P.A.: Uniform structures in the beginning of the third millenium. Topol. Appl. 154(14), 2745\u20132756 (2007)","journal-title":"Topol. Appl."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"K\u00fcnzi, H.-P.A.: An introduction to quasi-uniform spaces. In: Beyond Topology. Contemporary Mathematics, vol. 486, pp. 239\u2013304. American Mathematical Society, Providence (2009)","DOI":"10.1090\/conm\/486\/09511"},{"key":"2_CR21","unstructured":"Levine, N.: On Pervin\u2019s quasi uniformity. Math. J. Okayama Univ. 14, 97\u2013102 (1969\/70)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/BF01440953","volume":"147","author":"WJ Pervin","year":"1962","unstructured":"Pervin, W.J.: Quasi-uniformization of topological spaces. Math. Ann. 147, 316\u2013317 (1962)","journal-title":"Math. Ann."},{"key":"2_CR23","unstructured":"Pin, J.-\u00c9.: Profinite methods in automata theory. In: Albers, S., Marion, J.-Y. (eds.) 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), pp. 31\u201350, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2009)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"1227","DOI":"10.1142\/S0129054112400497","volume":"23","author":"J\u00c9 Pin","year":"2012","unstructured":"Pin, J.\u00c9.: Equational descriptions of languages. Int. J. Found. Comput. Sci. 23, 1227\u20131240 (2012)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"2_CR25","unstructured":"Sch\u00fctzenberger, M.-P.: Une th\u00e9orie alg\u00e9brique du codage. In: S\u00e9minaire Dubreil-Pisot, ann\u00e9e 1955\u201356, Expos\u00e9 No. 15, 27 f\u00e9vrier 1956, 24 p. Inst. H. Poincar\u00e9, Paris (1956). \n                      http:\/\/igm.univ-mlv.fr\/berstel\/Mps\/Travaux\/A\/1956CodageSemDubreil.pdf"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"M-P Sch\u00fctzenberger","year":"1965","unstructured":"Sch\u00fctzenberger, M.-P.: On finite monoids having only trivial subgroups. Inf. Control 8, 190\u2013194 (1965)","journal-title":"Inf. Control"},{"key":"2_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0289-9","volume-title":"Finite Automata, Formal Logic, and Circuit Complexity, Progress in Theoretical Computer Science","author":"H Straubing","year":"1994","unstructured":"Straubing, H.: Finite Automata, Formal Logic, and Circuit Complexity, Progress in Theoretical Computer Science. Birkh\u00e4user Boston Inc., Boston (1994)"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/3-540-45995-2_46","volume-title":"LATIN 2002: Theoretical Informatics","author":"H Straubing","year":"2002","unstructured":"Straubing, H.: On Logical Descriptions of Regular Languages. In: Rajsbaum, S. (ed.) LATIN 2002. LNCS, vol. 2286, pp. 528\u2013538. Springer, Heidelberg (2002). doi:\n                      10.1007\/3-540-45995-2_46"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1142\/S0218196702000912","volume":"12","author":"P Weil","year":"2002","unstructured":"Weil, P.: Profinite methods in semigroup theory. Int. J. Alg. Comput. 12, 137\u2013178 (2002)","journal-title":"Int. J. Alg. Comput."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57418-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:11:32Z","timestamp":1558318292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57418-9_2"}},"subtitle":["Extended Abstract"],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319574172","9783319574189"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57418-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 May 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ens-lyon.fr\/LIP\/PLUME\/RAMiCS17\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}