{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:16:31Z","timestamp":1725804991209},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319108810"},{"type":"electronic","value":"9783319108827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10882-7_3","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T06:54:19Z","timestamp":1410418459000},"page":"25-42","source":"Crossref","is-referenced-by-count":0,"title":["A Logical Descriptor for Regular Languages via Stone Duality"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denisa","family":"Diaconescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Flaminio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Blok, W., Pigozzi, D.: Algebraizable logics. Memoirs of The American Mathematical Society, vol.\u00a077. American Mathematical Society (1989)","DOI":"10.1090\/memo\/0396"},{"key":"3_CR2","series-title":"MRI Symposia Series","first-page":"529","volume-title":"Mathematical Theory of Automata","author":"J.A. Brzozowski","year":"1962","unstructured":"Brzozowski, J.A.: Canonical regular expressions and minimal state graphs for definite events. In: Mathematical Theory of Automata. MRI Symposia Series, vol.\u00a012, pp. 529\u2013561. Polytechnic Press, Polytechnic Institute of Brooklyn (1962)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J.R. B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, J.R.: Weak second-order arithmetic and finite automata. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a06, 66\u201392 (1960)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. Springer (1981)","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"3_CR5","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol.\u00a02. College Publications (2011)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1090\/S0002-9947-1961-0139530-9","volume":"98","author":"C.C. Elgot","year":"1961","unstructured":"Elgot, C.C.: Decision problems of finite automata design and related arithmetics. Trans. Amer. Math. Soc.\u00a098, 21\u201351 (1961)","journal-title":"Trans. Amer. Math. Soc."},{"key":"3_CR7","unstructured":"Hansen, H.H., Panangaden, P., Rutten, J.J.M.M., Bonchi, F., Bonsangue, M.M., Silva, A.: Algebra-coalgebra duality in Brzozwski\u2019s minimization algorithm. ACM Transactions on Computational Logic (to appear)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-22993-0_3","volume-title":"Mathematical Foundations of Computer Science 2011","author":"M. Gehrke","year":"2011","unstructured":"Gehrke, M.: Duality and recognition. In: Murlak, F., Sankowski, P. (eds.) MFCS 2011. LNCS, vol.\u00a06907, pp. 3\u201318. Springer, Heidelberg (2011)"},{"key":"3_CR9","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, Part II. LNCS, vol.\u00a05126, pp. 246\u2013257. Springer, Heidelberg (2008)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley (2000)","DOI":"10.1145\/568438.568455"},{"key":"3_CR11","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press (1982)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, pp. 3\u201342. Princeton University Press (1956)","DOI":"10.1515\/9781400882618-002"},{"key":"3_CR13","volume-title":"Computability, complexity, and languages: Fundamentals of theoretical computer science","author":"E.J. Weyuker","year":"1994","unstructured":"Weyuker, E.J., Davis, M.E., Sigal, R.: Computability, complexity, and languages: Fundamentals of theoretical computer science. Academic Press, Boston (1994)"},{"key":"3_CR14","first-page":"103","volume":"3","author":"B.A. Trakhtenbrot","year":"1962","unstructured":"Trakhtenbrot, B.A.: Finite automata and the logic of oneplace predicates. Siberian Math. J.\u00a03, 103\u2013131 (1962)","journal-title":"Siberian Math. J."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10882-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T21:42:51Z","timestamp":1558993371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10882-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319108810","9783319108827"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10882-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}