{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:45:57Z","timestamp":1725860757954},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319409450"},{"type":"electronic","value":"9783319409467"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40946-7_7","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T11:52:20Z","timestamp":1467719540000},"page":"77-88","source":"Crossref","is-referenced-by-count":0,"title":["Ternary Equational Languages"],"prefix":"10.1007","author":[{"given":"Zolt\u00e1n","family":"\u00c9sik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,6]]},"reference":[{"issue":"6","key":"7_CR1","first-page":"739","volume":"10","author":"R Balbes","year":"2000","unstructured":"Balbes, R.: Free ternary algebras. IJAC 10(6), 739\u2013749 (2000)","journal-title":"IJAC"},{"key":"7_CR2","volume-title":"Distributive Lattices","author":"R Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)"},{"key":"7_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-78034-9","volume-title":"Iteration Theories","author":"SL Bloom","year":"1993","unstructured":"Bloom, S.L., \u00c9sik, Z.: Iteration Theories. Springer, Heidelberg (1993)"},{"issue":"3","key":"7_CR4","first-page":"295","volume":"14","author":"JA Brzozowski","year":"2004","unstructured":"Brzozowski, J.A.: Involuted semilattices and uncertainty in ternary algebras. IJAC 14(3), 295\u2013310 (2004)","journal-title":"IJAC"},{"issue":"6","key":"7_CR5","first-page":"713","volume":"7","author":"JA Brzozowski","year":"1997","unstructured":"Brzozowski, J.A., Lou, J.J., Negulescu, R.: A characterization of finite ternary algebras. IJAC 7(6), 713\u2013722 (1997)","journal-title":"IJAC"},{"key":"7_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4210-9","volume-title":"Asynchronous Circuits","author":"JA Brzozowski","year":"1995","unstructured":"Brzozowski, J.A., Seeger, C.J.: Asynchronous Circuits. Springer, Berlin (1995)"},{"key":"7_CR7","unstructured":"Carayol, A., \u00c9sik, Z.: An analysis of the equational properties of the well-founded fixed point, arXiv:1511.09423 (2015)"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R Cignoli","year":"1986","unstructured":"Cignoli, R.: The class of Kleene algebras satisfying the interpolation property and Nelson algebras. Alg. Univ. 23, 262\u2013292 (1986)","journal-title":"Alg. Univ."},{"key":"7_CR9","doi-asserted-by":"crossref","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":"7_CR10","first-page":"311","volume":"8","author":"Z \u00c9sik","year":"1998","unstructured":"\u00c9sik, Z.: A Cayley theorem for ternary algebras. IJAC 8(3), 311\u2013316 (1998)","journal-title":"IJAC"},{"issue":"6","key":"7_CR11","first-page":"1197","volume":"18","author":"Z \u00c9sik","year":"2007","unstructured":"\u00c9sik, Z., Kuich, W.: Boolean fuzzy sets. IJFCS 18(6), 1197\u20131207 (2007)","journal-title":"IJFCS"},{"issue":"1\u20132","key":"7_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"278","author":"M Fitting","year":"2002","unstructured":"Fitting, M.: Fixpoint semantics for logic programming\u2013a survey. TCS 278(1\u20132), 25\u201351 (2002)","journal-title":"TCS"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"506","DOI":"10.4236\/apm.2014.49057","volume":"4","author":"AV Figallo","year":"2014","unstructured":"Figallo, A.V., Gomes, C.M., Sarmiento, L.S., Videla, M.E.: Notes on the variety of ternary algebras. Adv. Pure Math. 4, 506\u2013512 (2014)","journal-title":"Adv. Pure Math."},{"key":"7_CR14","unstructured":"Jezek, J.: Universal Algebra, 1st edn. (2008). http:\/\/www.karlin.mff.cuni.cz\/~jezek\/"},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A.: Lattices with involution. Trans. Amer. Math. Soc. 87, 485\u2013491 (1958)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"9","key":"7_CR16","doi-asserted-by":"crossref","first-page":"945","DOI":"10.1016\/j.ic.2009.05.002","volume":"207","author":"V Kountouriotis","year":"2009","unstructured":"Kountouriotis, V., Nomikos, C., Rondogiannis, P.: Well-founded semantics for Boolean grammars. Inf. Comput. 207(9), 945\u2013967 (2009)","journal-title":"Inf. Comput."},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S.: Outline of a theory of truth. J. Philos. 72, 690\u2013716 (1975)","journal-title":"J. Philos."},{"key":"7_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2156-2","volume-title":"Language Equations","author":"EL Leiss","year":"1999","unstructured":"Leiss, E.L.: Language Equations. Springer, New York (1999)"},{"issue":"1","key":"7_CR19","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.ic.2004.03.006","volume":"194","author":"A Okhotin","year":"2004","unstructured":"Okhotin, A.: Boolean grammars. Inf. Comput. 194(1), 19\u201348 (2004)","journal-title":"Inf. Comput."},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.tcs.2011.10.003","volume":"416","author":"A Okhotin","year":"2012","unstructured":"Okhotin, A., Yakimova, O.: Language equations with complementation: expressive power. TCS 416, 71\u201386 (2012)","journal-title":"TCS"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.cosrev.2013.06.001","volume":"9","author":"A Okhotin","year":"2013","unstructured":"Okhotin, A.: Conjunctive and Boolean grammars: the true general case of the context-free grammars. Comput. Sci. Rev. 9, 27\u201359 (2013)","journal-title":"Comput. Sci. Rev."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40946-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:50:47Z","timestamp":1498326647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40946-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319409450","9783319409467"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40946-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}