Davey, Brian A.; Mendan, Stacey P. Natural and restricted Priestley duality for ternary algebras and their cousins. (English) Zbl 07528815 Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 59-104 (2022). MSC: 08C20 06D50 06D30 03B52 PDF BibTeX XML Cite \textit{B. A. Davey} and \textit{S. P. Mendan}, Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 59--104 (2022; Zbl 07528815) Full Text: DOI OpenURL
Gomez, Conrado; Marcos, Miguel Andrés; San Martín, Hernán Javier On the relation of negations in Nelson algebras. (English) Zbl 07468688 Rep. Math. Logic 56, 15-56 (2021). MSC: 03G25 PDF BibTeX XML Cite \textit{C. Gomez} et al., Rep. Math. Logic 56, 15--56 (2021; Zbl 07468688) Full Text: DOI OpenURL
Rivieccio, Umberto; Jansana, Ramon Quasi-Nelson algebras and fragments. (English) Zbl 07460118 Math. Struct. Comput. Sci. 31, No. 3, 257-285 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{U. Rivieccio} and \textit{R. Jansana}, Math. Struct. Comput. Sci. 31, No. 3, 257--285 (2021; Zbl 07460118) Full Text: DOI OpenURL
Bonzio, S.; Moraschini, T.; Pra Baldi, M. Logics of left variable inclusion and Płonka sums of matrices. (English) Zbl 07297798 Arch. Math. Logic 60, No. 1-2, 49-76 (2021). MSC: 03G27 03G25 PDF BibTeX XML Cite \textit{S. Bonzio} et al., Arch. Math. Logic 60, No. 1--2, 49--76 (2021; Zbl 07297798) Full Text: DOI arXiv OpenURL
Kumar, Arun A study of algebras and logics of rough sets based on classical and generalized approximation spaces. (English) Zbl 1483.68405 Peters, James F. (ed.) et al., Transactions on Rough Sets XXII. Berlin: Springer. Lect. Notes Comput. Sci. 12485, 123-251 (2020). MSC: 68T37 03B50 03G10 06D20 06D22 06D50 PDF BibTeX XML Cite \textit{A. Kumar}, Lect. Notes Comput. Sci. 12485, 123--251 (2020; Zbl 1483.68405) Full Text: DOI OpenURL
Kuznetsov, S. L.; Ryzhkova, N. S. A restricted fragment of the Lambek calculus with iteration and intersection operations. (English. Russian original) Zbl 07281963 Algebra Logic 59, No. 2, 129-146 (2020); translation from Algebra Logika 59, No. 2, 190-214 (2020). MSC: 03B47 03G25 03F52 PDF BibTeX XML Cite \textit{S. L. Kuznetsov} and \textit{N. S. Ryzhkova}, Algebra Logic 59, No. 2, 129--146 (2020; Zbl 07281963); translation from Algebra Logika 59, No. 2, 190--214 (2020) Full Text: DOI OpenURL
McLean, Brett Free Kleene algebras with domain. (English) Zbl 07271813 J. Log. Algebr. Methods Program. 117, Article ID 100606, 14 p. (2020). MSC: 08B20 08A70 PDF BibTeX XML Cite \textit{B. McLean}, J. Log. Algebr. Methods Program. 117, Article ID 100606, 14 p. (2020; Zbl 07271813) Full Text: DOI arXiv OpenURL
Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter Relational characterisations of paths. (English) Zbl 1462.05198 J. Log. Algebr. Methods Program. 117, Article ID 100590, 19 p. (2020). MSC: 05C38 03B35 03G15 05C85 68V15 PDF BibTeX XML Cite \textit{R. Berghammer} et al., J. Log. Algebr. Methods Program. 117, Article ID 100590, 19 p. (2020; Zbl 1462.05198) Full Text: DOI arXiv OpenURL
Giuntini, Roberto; Mureşan, Claudia; Paoli, Francesco PBZ*-lattices: structure theory and subvarieties. (English) Zbl 1458.06004 Rep. Math. Logic 55, 3-39 (2020). Reviewer: Ivan Chajda (Přerov) MSC: 06B10 08B26 03G25 03G12 PDF BibTeX XML Cite \textit{R. Giuntini} et al., Rep. Math. Logic 55, 3--39 (2020; Zbl 1458.06004) Full Text: DOI arXiv OpenURL
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra Toward a uniform theory of effectful state machines. (English) Zbl 1446.68085 ACM Trans. Comput. Log. 21, No. 3, Article No. 23, 63 p. (2020). MSC: 68Q55 18C15 18C50 68Q45 68Q70 PDF BibTeX XML Cite \textit{S. Goncharov} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 23, 63 p. (2020; Zbl 1446.68085) Full Text: DOI arXiv Link OpenURL
Järvinen, J.; Radeleczki, S. Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets. (English) Zbl 1463.06020 Acta Math. Hung. 160, No. 1, 175-196 (2020). Reviewer: Jānis Cīrulis (Riga) MSC: 06B15 06D15 06D30 PDF BibTeX XML Cite \textit{J. Järvinen} and \textit{S. Radeleczki}, Acta Math. Hung. 160, No. 1, 175--196 (2020; Zbl 1463.06020) Full Text: DOI arXiv OpenURL
Basin, David; Klaedtke, Felix; Zălinescu, Eugen Runtime verification over out-of-order streams. (English) Zbl 1433.68208 ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020). MSC: 68Q60 03B44 68Q10 68Q85 PDF BibTeX XML Cite \textit{D. Basin} et al., ACM Trans. Comput. Log. 21, No. 1, Article No. 5, 43 p. (2020; Zbl 1433.68208) Full Text: DOI arXiv OpenURL
Phawade, Ramchandra Kleene theorems for free choice automata over distributed alphabets. (English) Zbl 1464.68258 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and other Models of Concurrency XIV. Berlin: Springer. Lect. Notes Comput. Sci. 11790, 146-171 (2019). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{R. Phawade}, Lect. Notes Comput. Sci. 11790, 146--171 (2019; Zbl 1464.68258) Full Text: DOI arXiv OpenURL
Butterfield, Andrew The inner and outer algebras of unified concurrency. (English) Zbl 07168638 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 157-175 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Butterfield}, Lect. Notes Comput. Sci. 11885, 157--175 (2019; Zbl 07168638) Full Text: DOI Link OpenURL
Fang, Jie; Sun, Zhongju On endomorphism monoids of finite Kleene algebras. (English) Zbl 07100012 Algebra Colloq. 26, No. 3, 507-518 (2019). MSC: 06D30 20M18 PDF BibTeX XML Cite \textit{J. Fang} and \textit{Z. Sun}, Algebra Colloq. 26, No. 3, 507--518 (2019; Zbl 07100012) Full Text: DOI OpenURL
Bonzio, Stefano; Loi, Andrea The Płonka product of topological spaces. (English) Zbl 1426.54014 Algebra Univers. 80, No. 3, Paper No. 29, 13 p. (2019). MSC: 54B99 08C20 18A99 22A30 PDF BibTeX XML Cite \textit{S. Bonzio} and \textit{A. Loi}, Algebra Univers. 80, No. 3, Paper No. 29, 13 p. (2019; Zbl 1426.54014) Full Text: DOI OpenURL
Congwen, Luo; Gaoxia, Wang Some lattice-ordered algebras on which all congruences are principal. (English) Zbl 07067264 Log. J. IGPL 27, No. 3, 314-327 (2019). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{L. Congwen} and \textit{W. Gaoxia}, Log. J. IGPL 27, No. 3, 314--327 (2019; Zbl 07067264) Full Text: DOI OpenURL
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio On series-parallel pomset languages: rationality, context-freeness and automata. (English) Zbl 1417.68134 J. Log. Algebr. Methods Program. 103, 130-153 (2019). MSC: 68Q85 68N30 68Q42 68Q45 68Q70 PDF BibTeX XML Cite \textit{T. Kappé} et al., J. Log. Algebr. Methods Program. 103, 130--153 (2019; Zbl 1417.68134) Full Text: DOI arXiv OpenURL
Docherty, Simon; Pym, David Stone-type dualities for separation logics. (English) Zbl 1432.03046 Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019). MSC: 03B70 03B20 03G25 06D50 68Q85 PDF BibTeX XML Cite \textit{S. Docherty} and \textit{D. Pym}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 27, 51 p. (2019; Zbl 1432.03046) Full Text: arXiv OpenURL
Doumane, Amina; Pous, Damien Completeness for identity-free Kleene lattices. (English) Zbl 07378562 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Doumane} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018; Zbl 07378562) Full Text: DOI OpenURL
Kuznetsov, Stepan *-continuity vs. induction: divide and conquer. (English) Zbl 1418.03111 Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 493-510 (2018). MSC: 03B47 03G25 68Q45 PDF BibTeX XML Cite \textit{S. Kuznetsov}, in: Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27--31, 2018. London: College Publications. 493--510 (2018; Zbl 1418.03111) OpenURL
Bonzio, Stefano Dualities for Płonka sums. (English) Zbl 06992796 Log. Univers. 12, No. 3-4, 327-339 (2018). MSC: 08C20 06E15 18A99 22A30 PDF BibTeX XML Cite \textit{S. Bonzio}, Log. Univers. 12, No. 3--4, 327--339 (2018; Zbl 06992796) Full Text: DOI arXiv OpenURL
Namdar, A.; Borzooei, R. A. Nodal filters in hoop algebras. (English) Zbl 1401.06018 Soft Comput. 22, No. 21, 7119-7128 (2018). MSC: 06F05 03G25 06D20 06D30 06F35 PDF BibTeX XML Cite \textit{A. Namdar} and \textit{R. A. Borzooei}, Soft Comput. 22, No. 21, 7119--7128 (2018; Zbl 1401.06018) Full Text: DOI OpenURL
Guttmann, Walter Verifying minimum spanning tree algorithms with Stone relation algebras. (English) Zbl 1401.68247 J. Log. Algebr. Methods Program. 101, 132-150 (2018). MSC: 68R10 03B35 03G15 05C22 68Q60 68T15 PDF BibTeX XML Cite \textit{W. Guttmann}, J. Log. Algebr. Methods Program. 101, 132--150 (2018; Zbl 1401.68247) Full Text: DOI OpenURL
Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola Kleene algebra of partial predicates. (English) Zbl 1401.03106 Formaliz. Math. 26, No. 1, 11-20 (2018). MSC: 03G25 03B35 PDF BibTeX XML Cite \textit{A. Korniłowicz} et al., Formaliz. Math. 26, No. 1, 11--20 (2018; Zbl 1401.03106) Full Text: DOI OpenURL
Padovani, Luca A type checking algorithm for concurrent object protocols. (English) Zbl 1400.68141 J. Log. Algebr. Methods Program. 100, 16-35 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Padovani}, J. Log. Algebr. Methods Program. 100, 16--35 (2018; Zbl 1400.68141) Full Text: DOI Link OpenURL
Guttmann, Walter An algebraic framework for minimum spanning tree problems. (English) Zbl 1401.68246 Theor. Comput. Sci. 744, 37-55 (2018). MSC: 68R10 05C22 05C85 68T15 PDF BibTeX XML Cite \textit{W. Guttmann}, Theor. Comput. Sci. 744, 37--55 (2018; Zbl 1401.68246) Full Text: DOI OpenURL
Yu, Baomin; Zhao, Xianzhong; Zeng, Lingli A congruence on the semiring of normal tropical matrices. (English) Zbl 1396.15022 Linear Algebra Appl. 555, 321-335 (2018). MSC: 15A80 16Y60 PDF BibTeX XML Cite \textit{B. Yu} et al., Linear Algebra Appl. 555, 321--335 (2018; Zbl 1396.15022) Full Text: DOI OpenURL
Järvinen, Jouni; Radeleczki, Sándor Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets. (English) Zbl 06901718 J. Aust. Math. Soc. 105, No. 1, 57-78 (2018). MSC: 06B15 06D15 06D30 68T37 06D20 PDF BibTeX XML Cite \textit{J. Järvinen} and \textit{S. Radeleczki}, J. Aust. Math. Soc. 105, No. 1, 57--78 (2018; Zbl 06901718) Full Text: DOI arXiv OpenURL
Brunet, Paul; Pous, Damien; Struth, Georg On decidability of concurrent Kleene algebra. (English) Zbl 1442.68128 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017). MSC: 68Q85 68Q25 68Q45 68Q55 PDF BibTeX XML Cite \textit{P. Brunet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017; Zbl 1442.68128) Full Text: DOI OpenURL
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio Brzozowski goes concurrent – a Kleene theorem for pomset languages. (English) Zbl 1442.68145 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{T. Kappé} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 25, 16 p. (2017; Zbl 1442.68145) Full Text: DOI arXiv OpenURL
Brunet, Paul Reversible Kleene lattices. (English) Zbl 1441.68137 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 66, 14 p. (2017). MSC: 68Q70 68Q85 PDF BibTeX XML Cite \textit{P. Brunet}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 66, 14 p. (2017; Zbl 1441.68137) Full Text: DOI OpenURL
Albuquerque, Hugo; Přenosil, Adam; Rivieccio, Umberto An algebraic view of super-Belnap logics. (English) Zbl 1417.03175 Stud. Log. 105, No. 6, 1051-1086 (2017). MSC: 03B50 03B53 03G27 03B47 PDF BibTeX XML Cite \textit{H. Albuquerque} et al., Stud. Log. 105, No. 6, 1051--1086 (2017; Zbl 1417.03175) Full Text: DOI OpenURL
Brunet, Paul; Pous, Damien Petri automata. (English) Zbl 1427.68185 Log. Methods Comput. Sci. 13, No. 3, Paper No. 33, 50 p. (2017). MSC: 68Q85 68Q45 68Q70 PDF BibTeX XML Cite \textit{P. Brunet} and \textit{D. Pous}, Log. Methods Comput. Sci. 13, No. 3, Paper No. 33, 50 p. (2017; Zbl 1427.68185) Full Text: DOI arXiv OpenURL
Kumar, Arun; Banerjee, Mohua Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics. (English) Zbl 1417.03301 Stud. Log. 105, No. 3, 439-469 (2017). MSC: 03G25 03B50 03B52 PDF BibTeX XML Cite \textit{A. Kumar} and \textit{M. Banerjee}, Stud. Log. 105, No. 3, 439--469 (2017; Zbl 1417.03301) Full Text: DOI arXiv OpenURL
Castiglioni, José Luis; Celani, Sergio Arturo; San Martín, Hernán Javier Kleene algebras with implication. (English) Zbl 1400.06004 Algebra Univers. 77, No. 4, 375-393 (2017). Reviewer: Ivan Chajda (Přerov) MSC: 06D05 08A30 08A62 08C05 PDF BibTeX XML Cite \textit{J. L. Castiglioni} et al., Algebra Univers. 77, No. 4, 375--393 (2017; Zbl 1400.06004) Full Text: DOI Link OpenURL
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg A discrete geometric model of concurrent program execution. (English) Zbl 1483.68086 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 1-25 (2017). MSC: 68N30 68N19 68Q85 PDF BibTeX XML Cite \textit{B. Möller} et al., Lect. Notes Comput. Sci. 10134, 1--25 (2017; Zbl 1483.68086) Full Text: DOI Link OpenURL
Sularia, Mircea Regarding powers of real Gödel-Kleene lattices. (English) Zbl 1394.06017 J. Mult.-Val. Log. Soft Comput. 27, No. 4, 299-352 (2016). MSC: 06D30 06D20 06E75 PDF BibTeX XML Cite \textit{M. Sularia}, J. Mult.-Val. Log. Soft Comput. 27, No. 4, 299--352 (2016; Zbl 1394.06017) Full Text: Link OpenURL
Chajda, Ivan A note on pseudo-Kleene algebras. (English) Zbl 1431.06003 Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 55, No. 1, 39-45 (2016). MSC: 06D30 06B05 06D05 PDF BibTeX XML Cite \textit{I. Chajda}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 55, No. 1, 39--45 (2016; Zbl 1431.06003) Full Text: Link OpenURL
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg Probabilistic rely-guarantee calculus. (English) Zbl 1356.68156 Theor. Comput. Sci. 655, Part B, 120-134 (2016). MSC: 68Q85 68N30 68Q55 68Q60 68Q87 PDF BibTeX XML Cite \textit{A. McIver} et al., Theor. Comput. Sci. 655, Part B, 120--134 (2016; Zbl 1356.68156) Full Text: DOI arXiv OpenURL
Madeira, Alexandre; Neves, Renato; Martins, Manuel A. An exercise on the generation of many-valued dynamic logics. (English) Zbl 1355.03023 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1011-1037 (2016). MSC: 03B70 03B50 03G25 PDF BibTeX XML Cite \textit{A. Madeira} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1011--1037 (2016; Zbl 1355.03023) Full Text: DOI OpenURL
Jaskolka, Jason; Khedri, Ridha Mitigating covert channels based on analysis of the potential for communication. (English) Zbl 1348.68164 Theor. Comput. Sci. 643, 1-37 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. Jaskolka} and \textit{R. Khedri}, Theor. Comput. Sci. 643, 1--37 (2016; Zbl 1348.68164) Full Text: DOI OpenURL
Jipsen, Peter; Moshier, M. Andrew Concurrent Kleene algebra with tests and branching automata. (English) Zbl 1344.68083 J. Log. Algebr. Methods Program. 85, No. 4, 637-652 (2016). MSC: 68Q10 68N30 68Q55 68Q70 68Q85 PDF BibTeX XML Cite \textit{P. Jipsen} and \textit{M. A. Moshier}, J. Log. Algebr. Methods Program. 85, No. 4, 637--652 (2016; Zbl 1344.68083) Full Text: DOI OpenURL
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao Developments in concurrent Kleene algebra. (English) Zbl 1344.68149 J. Log. Algebr. Methods Program. 85, No. 4, 617-636 (2016). MSC: 68Q70 68N30 68Q85 PDF BibTeX XML Cite \textit{T. Hoare} et al., J. Log. Algebr. Methods Program. 85, No. 4, 617--636 (2016; Zbl 1344.68149) Full Text: DOI OpenURL
Struth, Georg On the expressive power of Kleene algebra with domain. (English) Zbl 1347.68095 Inf. Process. Lett. 116, No. 4, 284-288 (2016). MSC: 68N30 16Y60 PDF BibTeX XML Cite \textit{G. Struth}, Inf. Process. Lett. 116, No. 4, 284--288 (2016; Zbl 1347.68095) Full Text: DOI arXiv OpenURL
She, Yanhong; He, Xiaoli Algebraic structures related to nilpotent minimum algebras and rough sets. (English) Zbl 1364.03090 J. Intell. Fuzzy Syst. 29, No. 4, 1367-1380 (2015). MSC: 03G25 06D35 PDF BibTeX XML Cite \textit{Y. She} and \textit{X. He}, J. Intell. Fuzzy Syst. 29, No. 4, 1367--1380 (2015; Zbl 1364.03090) Full Text: DOI OpenURL
Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure A coalgebraic decision procedure for NetKAT. (English) Zbl 1346.68132 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 343-355 (2015). MSC: 68Q85 68Q45 68Q60 68Q65 PDF BibTeX XML Cite \textit{N. Foster} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 343--355 (2015; Zbl 1346.68132) Full Text: DOI Link OpenURL
Broda, Sabine; Cavadas, Sílvia; Ferreira, Miguel; Moreira, Nelma Deciding synchronous Kleene algebra with derivatives. (English) Zbl 1465.68192 Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9223, 49-62 (2015). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{S. Broda} et al., Lect. Notes Comput. Sci. 9223, 49--62 (2015; Zbl 1465.68192) Full Text: DOI Link OpenURL
Möller, Bernhard; Hoare, Tony Exploring an interface model for CKA. (English) Zbl 1432.68314 Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9129, 1-29 (2015). MSC: 68Q85 03B44 PDF BibTeX XML Cite \textit{B. Möller} and \textit{T. Hoare}, Lect. Notes Comput. Sci. 9129, 1--29 (2015; Zbl 1432.68314) Full Text: DOI Link OpenURL
O’Hearn, Peter W.; Petersen, Rasmus L.; Villard, Jules; Hussain, Akbar On the relation between concurrent separation logic and concurrent Kleene algebra. (English) Zbl 1330.03072 J. Log. Algebr. Methods Program. 84, No. 3, 285-302 (2015). MSC: 03B70 03G25 68Q85 PDF BibTeX XML Cite \textit{P. W. O'Hearn} et al., J. Log. Algebr. Methods Program. 84, No. 3, 285--302 (2015; Zbl 1330.03072) Full Text: DOI OpenURL
Niv, Adi On pseudo-inverses of matrices and their characteristic polynomials in supertropical algebra. (English) Zbl 1310.15009 Linear Algebra Appl. 471, 264-290 (2015). MSC: 15A09 15A80 15A15 15A18 15B33 PDF BibTeX XML Cite \textit{A. Niv}, Linear Algebra Appl. 471, 264--290 (2015; Zbl 1310.15009) Full Text: DOI arXiv OpenURL
Jaskolka, Jason; Khedri, Ridha A formulation of the potential for communication condition using \(\mathrm{C}^2 \mathrm{KA}\). (English) Zbl 1464.68250 Peron, Adriano (ed.) et al., Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10–12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 161, 161-174 (2014). MSC: 68Q85 68M25 PDF BibTeX XML Cite \textit{J. Jaskolka} and \textit{R. Khedri}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 161, 161--174 (2014; Zbl 1464.68250) Full Text: arXiv Link OpenURL
Moraschini, Tommaso An algebraic study of exactness in partial contexts. (English) Zbl 1316.03041 Int. J. Approx. Reasoning 55, No. 1, Part 4, 457-468 (2014). MSC: 03G27 03G10 06D30 68T30 PDF BibTeX XML Cite \textit{T. Moraschini}, Int. J. Approx. Reasoning 55, No. 1, Part 4, 457--468 (2014; Zbl 1316.03041) Full Text: DOI OpenURL
Castro, Pablo F.; Kulicki, Piotr Deontic logics based on Boolean algebra. (English) Zbl 1351.03012 Trypuz, Robert (ed.), Krister Segerberg on logic of actions. Dordrecht: Springer (ISBN 978-94-007-7045-4/pbk; 978-94-007-7046-1/ebook). Outstanding Contributions to Logic 1, 85-117 (2014). MSC: 03B45 03G05 PDF BibTeX XML Cite \textit{P. F. Castro} and \textit{P. Kulicki}, Outst. Contrib. Log. 1, 85--117 (2014; Zbl 1351.03012) Full Text: DOI Link OpenURL
Höfner, Peter; McIver, Annabelle Hopscotch – reaching the target hop by hop. (English) Zbl 1371.68210 J. Log. Algebr. Methods Program. 83, No. 2, 212-224 (2014). MSC: 68R10 03G15 PDF BibTeX XML Cite \textit{P. Höfner} and \textit{A. McIver}, J. Log. Algebr. Methods Program. 83, No. 2, 212--224 (2014; Zbl 1371.68210) Full Text: DOI OpenURL
Armstrong, Alasdair; Struth, Georg; Weber, Tjark Programming and automating mathematics in the Tarski-Kleene hierarchy. (English) Zbl 1434.68637 J. Log. Algebr. Methods Program. 83, No. 2, 87-102 (2014). MSC: 68V15 03G15 68V20 PDF BibTeX XML Cite \textit{A. Armstrong} et al., J. Log. Algebr. Methods Program. 83, No. 2, 87--102 (2014; Zbl 1434.68637) Full Text: DOI OpenURL
Bova, Simone; Cabrer, Leonardo Unification and projectivity in De Morgan and Kleene algebras. (English) Zbl 1303.06009 Order 31, No. 2, 159-187 (2014). Reviewer: Marius Tărnăuceanu (Iaşi) MSC: 06D30 06B20 06B25 03B35 PDF BibTeX XML Cite \textit{S. Bova} and \textit{L. Cabrer}, Order 31, No. 2, 159--187 (2014; Zbl 1303.06009) Full Text: DOI arXiv OpenURL
Jipsen, Peter Concurrent Kleene algebra with tests. (English) Zbl 1345.68139 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 37-48 (2014). MSC: 68Q10 68N30 68Q55 68Q70 68Q85 PDF BibTeX XML Cite \textit{P. Jipsen}, Lect. Notes Comput. Sci. 8428, 37--48 (2014; Zbl 1345.68139) Full Text: DOI OpenURL
Jaskolka, Jason; Khedri, Ridha; Zhang, Qinglei Endowing concurrent Kleene algebra with communication actions. (English) Zbl 1405.68214 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 19-36 (2014). MSC: 68Q85 68Q60 68Q70 PDF BibTeX XML Cite \textit{J. Jaskolka} et al., Lect. Notes Comput. Sci. 8428, 19--36 (2014; Zbl 1405.68214) Full Text: DOI OpenURL
Gonçalves, Vinicius Mariano; Maia, Carlos Andrey; Hardouin, Laurent Weak dual residuations applied to tropical linear equations. (English) Zbl 1294.15017 Linear Algebra Appl. 445, 69-84 (2014). MSC: 15A80 15A06 65F30 16Y60 PDF BibTeX XML Cite \textit{V. M. Gonçalves} et al., Linear Algebra Appl. 445, 69--84 (2014; Zbl 1294.15017) Full Text: DOI OpenURL
de la Puente, María On tropical Kleene star matrices and alcoved polytopes. (English) Zbl 1297.15029 Kybernetika 49, No. 6, 897-910 (2013). Reviewer: Arnold Richard Kräuter (Leoben) MSC: 15A80 52C07 15A60 PDF BibTeX XML Cite \textit{M. de la Puente}, Kybernetika 49, No. 6, 897--910 (2013; Zbl 1297.15029) Full Text: arXiv Link OpenURL
Gursoy, Buket Benek; Kirkland, Steve; Mason, Oliver; Sergeev, Sergei On the Markov chain tree theorem in the max algebra. (English) Zbl 1283.15080 Electron. J. Linear Algebra 26, 15-27 (2013). MSC: 15A80 05C05 05C50 15A18 PDF BibTeX XML Cite \textit{B. B. Gursoy} et al., Electron. J. Linear Algebra 26, 15--27 (2013; Zbl 1283.15080) Full Text: DOI arXiv Link Link OpenURL
Aguzzoli, Stefano; Cabrer, Leonardo M.; Marra, Vincenzo MV-algebras freely generated by finite Kleene algebras. (English) Zbl 1316.06013 Algebra Univers. 70, No. 3, 245-270 (2013). Reviewer: Giacomo Lenzi (Fisciano) MSC: 06D35 06D30 06D50 03G25 03C05 PDF BibTeX XML Cite \textit{S. Aguzzoli} et al., Algebra Univers. 70, No. 3, 245--270 (2013; Zbl 1316.06013) Full Text: DOI arXiv OpenURL
Babu, S. Ajesh; Pandya, Paritosh K. Chop expressions and discrete duration calculus. (English) Zbl 1256.68096 D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 229-256 (2012). MSC: 68Q45 03D05 68Q60 PDF BibTeX XML Cite \textit{S. A. Babu} and \textit{P. K. Pandya}, IISc Res. Monogr. Ser. 2, 229--256 (2012; Zbl 1256.68096) Full Text: DOI OpenURL
Butkovič, Peter; Schneider, Hans; Sergeev, Sergeĭ Z-matrix equations in max-algebra, nonnegative linear algebra and other semirings. (English) Zbl 1255.15031 Linear Multilinear Algebra 60, No. 10, 1191-1210 (2012). Reviewer: Grozio Stanilov (Sofia) MSC: 15A80 15A06 15B48 PDF BibTeX XML Cite \textit{P. Butkovič} et al., Linear Multilinear Algebra 60, No. 10, 1191--1210 (2012; Zbl 1255.15031) Full Text: DOI arXiv OpenURL
Pous, Damien Untyping typed algebras and colouring cyclic linear logic. (English) Zbl 1241.03009 Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p. (2012). MSC: 03B35 03F52 03G25 68T15 PDF BibTeX XML Cite \textit{D. Pous}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p. (2012; Zbl 1241.03009) Full Text: DOI arXiv OpenURL
Furusawa, Hitoshi; Sanda, Fumiya; Tsumagari, Norihiro Remarks on ideal completion of \(\ast\)-continuous idempotent left semirings. (English) Zbl 1271.06016 Bull. Inf. Cybern. 43, 1-21 (2011). MSC: 06F25 03G25 16Y60 68Q70 PDF BibTeX XML Cite \textit{H. Furusawa} et al., Bull. Inf. Cybern. 43, 1--21 (2011; Zbl 1271.06016) OpenURL
Cattaneo, G.; Ciucci, D.; Dubois, D. Algebraic models of deviant modal operators based on De Morgan and Kleene lattices. (English) Zbl 1242.03088 Inf. Sci. 181, No. 19, 4075-4100 (2011). MSC: 03G25 03B45 03E72 PDF BibTeX XML Cite \textit{G. Cattaneo} et al., Inf. Sci. 181, No. 19, 4075--4100 (2011; Zbl 1242.03088) Full Text: DOI Link OpenURL
Jackson, Marcel; Stokes, Tim Modal restriction semigroups: towards an algebra of functions. (English) Zbl 1256.20058 Int. J. Algebra Comput. 21, No. 7, 1053-1095 (2011). Reviewer: Leonid M. Martynov (Omsk) MSC: 20M20 08A70 68Q60 03B45 03B70 PDF BibTeX XML Cite \textit{M. Jackson} and \textit{T. Stokes}, Int. J. Algebra Comput. 21, No. 7, 1053--1095 (2011; Zbl 1256.20058) Full Text: DOI OpenURL
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian Concurrent Kleene algebra and its foundations. (English) Zbl 1278.68176 J. Log. Algebr. Program. 80, No. 6, 266-296 (2011). MSC: 68Q60 68N19 03B70 68Q85 PDF BibTeX XML Cite \textit{T. Hoare} et al., J. Log. Algebr. Program. 80, No. 6, 266--296 (2011; Zbl 1278.68176) Full Text: DOI Link OpenURL
Sergeev, Sergeĭ; Wagneur, Edouard Basic solutions of systems with two max-linear inequalities. (English) Zbl 1227.15018 Linear Algebra Appl. 435, No. 7, 1758-1768 (2011). Reviewer: Mihail Voicu (Iaşi) MSC: 15A39 15A80 15A03 PDF BibTeX XML Cite \textit{S. Sergeev} and \textit{E. Wagneur}, Linear Algebra Appl. 435, No. 7, 1758--1768 (2011; Zbl 1227.15018) Full Text: DOI arXiv OpenURL
Höfner, Peter; Möller, Bernhard Fixing Zeno gaps. (English) Zbl 1227.68079 Theor. Comput. Sci. 412, No. 28, 3303-3322 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q99 68Q70 68Q85 37N99 PDF BibTeX XML Cite \textit{P. Höfner} and \textit{B. Möller}, Theor. Comput. Sci. 412, No. 28, 3303--3322 (2011; Zbl 1227.68079) Full Text: DOI Link OpenURL
Desharnais, Jules; Möller, Bernhard; Struth, Georg Algebraic notions of termination. (English) Zbl 1214.68185 Log. Methods Comput. Sci. 7, No. 1, Paper No. 1, 29 p. (2011). MSC: 68Q42 68N30 PDF BibTeX XML Cite \textit{J. Desharnais} et al., Log. Methods Comput. Sci. 7, No. 1, Paper No. 1, 29 p. (2011; Zbl 1214.68185) Full Text: DOI arXiv OpenURL
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan Quantitative Kleene coalgebras. (English) Zbl 1227.68075 Inf. Comput. 209, No. 5, 822-849 (2011). Reviewer: Lutz Schröder (Bremen) MSC: 68Q70 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. Silva} et al., Inf. Comput. 209, No. 5, 822--849 (2011; Zbl 1227.68075) Full Text: DOI Link OpenURL
Desharnais, Jules; Struth, Georg Internal axioms for domain semirings. (English) Zbl 1211.68242 Sci. Comput. Program. 76, No. 3, 181-203 (2011). MSC: 68Q55 03B45 03G25 16Y60 68Q60 68T15 PDF BibTeX XML Cite \textit{J. Desharnais} and \textit{G. Struth}, Sci. Comput. Program. 76, No. 3, 181--203 (2011; Zbl 1211.68242) Full Text: DOI OpenURL
Luo, Congwen; Wang, Gaoxia Congruence permutable Kleene-Stone algebras. (English) Zbl 1240.06036 Wuhan Univ. J. Nat. Sci. 15, No. 2, 99-102 (2010). MSC: 06D15 06D30 06E15 PDF BibTeX XML Cite \textit{C. Luo} and \textit{G. Wang}, Wuhan Univ. J. Nat. Sci. 15, No. 2, 99--102 (2010; Zbl 1240.06036) Full Text: DOI OpenURL
Furusawa, Hitoshi; Nishizawa, Koki; Tsumagari, Norihiro Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras. (English) Zbl 1270.03137 Bull. Inf. Cybern. 41, 11-24 (2009). MSC: 03G25 68Q70 PDF BibTeX XML Cite \textit{H. Furusawa} et al., Bull. Inf. Cybern. 41, 11--24 (2009; Zbl 1270.03137) OpenURL
Campercholi, Miguel; Vaggione, Diego Algebraically expandable classes. (English) Zbl 1223.08003 Algebra Univers. 61, No. 2, 151-186 (2009). MSC: 08C10 03C40 06D30 08B10 PDF BibTeX XML Cite \textit{M. Campercholi} and \textit{D. Vaggione}, Algebra Univers. 61, No. 2, 151--186 (2009; Zbl 1223.08003) Full Text: DOI OpenURL
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff Automated verification of refinement laws. (English) Zbl 1184.68463 Ann. Math. Artif. Intell. 55, No. 1-2, 35-62 (2009). MSC: 68T15 03G25 68Q60 PDF BibTeX XML Cite \textit{P. Höfner} et al., Ann. Math. Artif. Intell. 55, No. 1--2, 35--62 (2009; Zbl 1184.68463) Full Text: DOI Link OpenURL
Feng, Feng; Jun, Young Bae Inductive semimodules and the vector modules over them. (English) Zbl 1179.16028 Soft Comput. 13, No. 11, 1113-1121 (2009). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 16Y60 06F25 08A72 PDF BibTeX XML Cite \textit{F. Feng} and \textit{Y. B. Jun}, Soft Comput. 13, No. 11, 1113--1121 (2009; Zbl 1179.16028) Full Text: DOI OpenURL
Eklund, P.; Galán, M. A.; Gähler, Werner Partially ordered monads for monadic topologies, rough sets and Kleene algebras. (English) Zbl 1337.18003 Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 67-81 (2009). MSC: 18C20 03E72 54B30 68Q45 PDF BibTeX XML Cite \textit{P. Eklund} et al., Electron. Notes Theor. Comput. Sci. 225, 67--81 (2008; Zbl 1337.18003) Full Text: DOI OpenURL
Struth, Georg Modal tools for separation and refinement. (English) Zbl 1283.68215 Boiten, Eerke (ed.) et al., Proceedings of the 13th BCS-FACS refinement workshop (REFINE 2008), Turku, Finland, May 27, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 214, 81-101 (2008). MSC: 68Q60 03G25 68T15 PDF BibTeX XML Cite \textit{G. Struth}, Electron. Notes Theor. Comput. Sci. 214, 81--101 (2008; Zbl 1283.68215) Full Text: DOI OpenURL
Buszkowski, Wojciech; Palka, Ewa Infinitary action logic: complexity, models and grammars. (English) Zbl 1209.03015 Stud. Log. 89, No. 1, 1-18 (2008). MSC: 03B47 03B65 03G15 68Q70 PDF BibTeX XML Cite \textit{W. Buszkowski} and \textit{E. Palka}, Stud. Log. 89, No. 1, 1--18 (2008; Zbl 1209.03015) Full Text: DOI OpenURL
McIver, A. K.; Gonzalia, C.; Cohen, E.; Morgan, C. C. Using probabilistic Kleene algebra pKA for protocol verification. (English) Zbl 1148.68034 J. Log. Algebr. Program. 76, No. 1, 90-111 (2008). MSC: 68Q60 68M12 68M14 68Q85 PDF BibTeX XML Cite \textit{A. K. McIver} et al., J. Log. Algebr. Program. 76, No. 1, 90--111 (2008; Zbl 1148.68034) Full Text: DOI Link OpenURL
Li, Shunqin; Wang, Guojun The generalized contradictions theory in subalgebras of revised Kleene system. (Chinese. English summary) Zbl 1141.03317 Basic Sci. J. Text. Univ. 20, No. 2, 107-112 (2007). MSC: 03B52 03G25 PDF BibTeX XML Cite \textit{S. Li} and \textit{G. Wang}, Basic Sci. J. Text. Univ. 20, No. 2, 107--112 (2007; Zbl 1141.03317) OpenURL
Buszkowski, Wojciech On action logic: equational theories of action algebras. (English) Zbl 1118.03013 J. Log. Comput. 17, No. 1, 199-217 (2007). MSC: 03B47 03F05 03G25 03B25 08B05 68Q45 PDF BibTeX XML Cite \textit{W. Buszkowski}, J. Log. Comput. 17, No. 1, 199--217 (2007; Zbl 1118.03013) Full Text: DOI OpenURL
Cignoli, Roberto; Mundici, Daniele; Navara, Mirko Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic. (English) Zbl 1161.06005 J. Mult.-Val. Log. Soft Comput. 12, No. 1-2, 1-8 (2006). Reviewer: Renata Majovská (Horní Suchá) MSC: 06D35 60B99 PDF BibTeX XML Cite \textit{R. Cignoli} et al., J. Mult.-Val. Log. Soft Comput. 12, No. 1--2, 1--8 (2006; Zbl 1161.06005) OpenURL
McIver, A. K.; Cohen, E.; Morgan, C. C. Using probabilistic Kleene algebra for protocol verification. (English) Zbl 1134.68415 Schmidt, Renate A. (ed.), Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37873-0/pbk). Lecture Notes in Computer Science 4136, 296-310 (2006). MSC: 68Q60 68M12 68Q85 PDF BibTeX XML Cite \textit{A. K. McIver} et al., Lect. Notes Comput. Sci. 4136, 296--310 (2006; Zbl 1134.68415) Full Text: DOI Link OpenURL
Kwuida, Léonard; Pech, Christian; Reppe, Heiko Generalizations of Boolean algebras. An attribute exploration. (English) Zbl 1150.03342 Math. Slovaca 56, No. 2, 145-165 (2006). MSC: 03G05 03G10 03G25 06B23 06C15 06D15 06D30 06E05 68T30 PDF BibTeX XML Cite \textit{L. Kwuida} et al., Math. Slovaca 56, No. 2, 145--165 (2006; Zbl 1150.03342) Full Text: EuDML OpenURL
Bimbó, Katalin; Dunn, J. Michael Relational semantics for Kleene logic and action logic. (English) Zbl 1099.03014 Notre Dame J. Formal Logic 46, No. 4, 461-490 (2005). Reviewer: Albert A. Mullin (Madison) MSC: 03B47 68Q70 03B60 03B45 03D05 03C13 PDF BibTeX XML Cite \textit{K. Bimbó} and \textit{J. M. Dunn}, Notre Dame J. Formal Logic 46, No. 4, 461--490 (2005; Zbl 1099.03014) Full Text: DOI OpenURL
Luo, Congwen Kleene-Stone algebras formed by the divisor set of positive integers. (Chinese. English summary) Zbl 1091.03031 J. Cent. China Norm. Univ., Nat. Sci. 39, No. 3, 294-297 (2005). MSC: 03G25 06D15 06D30 PDF BibTeX XML Cite \textit{C. Luo}, J. Cent. China Norm. Univ., Nat. Sci. 39, No. 3, 294--297 (2005; Zbl 1091.03031) OpenURL
Renedo, E.; Trillas, E.; Alsina, C. A note on the symmetric difference in lattices. (English) Zbl 1083.06012 Mathware Soft Comput. 12, No. 1, 75-81 (2005). Reviewer: Thomas B. Muenzenberger (Manhattan) MSC: 06C15 06D30 PDF BibTeX XML Cite \textit{E. Renedo} et al., Mathware Soft Comput. 12, No. 1, 75--81 (2005; Zbl 1083.06012) Full Text: EuDML OpenURL
Walker, Carol L.; Walker, Elbert A. The algebra of fuzzy truth values. (English) Zbl 1064.03020 Fuzzy Sets Syst. 149, No. 2, 309-347 (2005). Reviewer: Daniele Mundici (Firenze) MSC: 03B52 03G25 PDF BibTeX XML Cite \textit{C. L. Walker} and \textit{E. A. Walker}, Fuzzy Sets Syst. 149, No. 2, 309--347 (2005; Zbl 1064.03020) Full Text: DOI Link OpenURL
Khakhanyan, V. Kh. A functional algebraic model equivalent to Kleene’s slash realizability. (English. Russian original) Zbl 1111.03328 Math. Notes 75, No. 1, 145-146 (2004); translation from Mat. Zametki 75, No. 1, 155-156 (2004). MSC: 03G25 03F55 PDF BibTeX XML Cite \textit{V. Kh. Khakhanyan}, Math. Notes 75, No. 1, 145--146 (2004; Zbl 1111.03328); translation from Mat. Zametki 75, No. 1, 155--156 (2004) Full Text: DOI OpenURL
Kuchmei, Vladimir; Ploščica, Miroslav Congruence-preserving functions on Stone and Kleene algebras. (English) Zbl 1079.06009 Algebra Univers. 51, No. 4, 419-434 (2004). MSC: 06D15 06D30 08A40 PDF BibTeX XML Cite \textit{V. Kuchmei} and \textit{M. Ploščica}, Algebra Univers. 51, No. 4, 419--434 (2004; Zbl 1079.06009) Full Text: DOI OpenURL
Kaarli, K.; Priestley, H. A. Endoprimality without duality. (English) Zbl 1088.08003 Algebra Univers. 51, No. 4, 361-372 (2004). Reviewer: Benoit Larose (St. Lambert) MSC: 08A40 08A35 PDF BibTeX XML Cite \textit{K. Kaarli} and \textit{H. A. Priestley}, Algebra Univers. 51, No. 4, 361--372 (2004; Zbl 1088.08003) Full Text: DOI OpenURL
Ehm, Thorsten Pointer Kleene algebra. (English) Zbl 1088.68038 Berghammer, Rudolf (ed.) et al., Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22145-X/pbk). Lecture Notes in Computer Science 3051, 99-111 (2004). MSC: 68N30 03G25 03E72 PDF BibTeX XML Cite \textit{T. Ehm}, Lect. Notes Comput. Sci. 3051, 99--111 (2004; Zbl 1088.68038) Full Text: DOI OpenURL
Möller, Bernhard; Struth, Georg Greedy-like algorithms in modal Kleene algebra. (English) Zbl 1088.03055 Berghammer, Rudolf (ed.) et al., Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22145-X/pbk). Lecture Notes in Computer Science 3051, 202-215 (2004). MSC: 03G25 68W01 PDF BibTeX XML Cite \textit{B. Möller} and \textit{G. Struth}, Lect. Notes Comput. Sci. 3051, 202--215 (2004; Zbl 1088.03055) Full Text: DOI OpenURL
Gehrke, M.; Walker, C.; Walker, E. Varieties generated by t-norms. (English) Zbl 1067.03060 Soft Comput. 8, No. 4, 264-267 (2004). MSC: 03E72 03G25 03-02 06B20 PDF BibTeX XML Cite \textit{M. Gehrke} et al., Soft Comput. 8, No. 4, 264--267 (2004; Zbl 1067.03060) Full Text: DOI Link OpenURL
Davey, Brian A.; Haviar, Miroslav Applications of Priestley duality in transferring optimal dualities. (English) Zbl 1082.08005 Stud. Log. 78, No. 1-2, 213-236 (2004). MSC: 08C15 06D15 06D50 PDF BibTeX XML Cite \textit{B. A. Davey} and \textit{M. Haviar}, Stud. Log. 78, No. 1--2, 213--236 (2004; Zbl 1082.08005) Full Text: DOI OpenURL