{"main_file_link":[{"url":"http://arxiv.org/abs/1512.07009","open_access":"1"}],"day":"20","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"journal_article","publisher":"World Scientific Publishing","abstract":[{"text":"We characterize absorption in finite idempotent algebras by means of Jónsson absorption and cube term blockers. As an application we show that it is decidable whether a given subset is an absorbing subuniverse of an algebra given by the tables of its basic operations.","lang":"eng"}],"quality_controlled":"1","publist_id":"5893","citation":{"mla":"Barto, Libor, and Alexandr Kazda. “Deciding Absorption.” <i>International Journal of Algebra and Computation</i>, vol. 26, no. 5, World Scientific Publishing, 2016, pp. 1033–60, doi:<a href=\"https://doi.org/10.1142/S0218196716500430\">10.1142/S0218196716500430</a>.","short":"L. Barto, A. Kazda, International Journal of Algebra and Computation 26 (2016) 1033–1060.","ista":"Barto L, Kazda A. 2016. Deciding absorption. International Journal of Algebra and Computation. 26(5), 1033–1060.","ama":"Barto L, Kazda A. Deciding absorption. <i>International Journal of Algebra and Computation</i>. 2016;26(5):1033-1060. doi:<a href=\"https://doi.org/10.1142/S0218196716500430\">10.1142/S0218196716500430</a>","ieee":"L. Barto and A. Kazda, “Deciding absorption,” <i>International Journal of Algebra and Computation</i>, vol. 26, no. 5. World Scientific Publishing, pp. 1033–1060, 2016.","chicago":"Barto, Libor, and Alexandr Kazda. “Deciding Absorption.” <i>International Journal of Algebra and Computation</i>. World Scientific Publishing, 2016. <a href=\"https://doi.org/10.1142/S0218196716500430\">https://doi.org/10.1142/S0218196716500430</a>.","apa":"Barto, L., &#38; Kazda, A. (2016). Deciding absorption. <i>International Journal of Algebra and Computation</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0218196716500430\">https://doi.org/10.1142/S0218196716500430</a>"},"doi":"10.1142/S0218196716500430","date_published":"2016-07-20T00:00:00Z","intvolume":"        26","title":"Deciding absorption","oa":1,"acknowledgement":"Libor Barto and Alexandr Kazda were supported by the the Grant Agency of the Czech Republic, grant GACR 13-01832S. ","page":"1033 - 1060","department":[{"_id":"VlKo"}],"publication":"International Journal of Algebra and Computation","author":[{"last_name":"Barto","full_name":"Barto, Libor","first_name":"Libor"},{"last_name":"Kazda","full_name":"Kazda, Alexandr","first_name":"Alexandr","id":"3B32BAA8-F248-11E8-B48F-1D18A9856A87"}],"status":"public","_id":"1353","oa_version":"Preprint","scopus_import":1,"month":"07","publication_status":"published","date_updated":"2021-01-12T06:50:06Z","date_created":"2018-12-11T11:51:32Z","issue":"5","language":[{"iso":"eng"}],"volume":26,"year":"2016"}