Wagemaker, Jana; Foster, Nate; Kappé, Tobias; Kozen, Dexter; Rot, Jurriaan; Silva, Alexandra Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks. (English) Zbl 1528.68259 Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 575-602 (2022). MSC: 68Q85 68N30 68Q55 PDFBibTeX XMLCite \textit{J. Wagemaker} et al., Lect. Notes Comput. Sci. 13240, 575--602 (2022; Zbl 1528.68259) Full Text: DOI arXiv
Milanese, Marco; Ranzato, Francesco Local completeness logic on Kleene algebra with tests. (English) Zbl 1524.68098 Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 350-371 (2022). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{M. Milanese} and \textit{F. Ranzato}, Lect. Notes Comput. Sci. 13790, 350--371 (2022; Zbl 1524.68098) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut Kleene posets and pseudo-Kleene posets. (English) Zbl 1499.06003 Miskolc Math. Notes 23, No. 1, 155-174 (2022). MSC: 06A06 06D30 06A11 06B23 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Miskolc Math. Notes 23, No. 1, 155--174 (2022; Zbl 1499.06003) Full Text: DOI arXiv
Davey, Brian A.; Mendan, Stacey P. Natural and restricted Priestley duality for ternary algebras and their cousins. (English) Zbl 1505.08006 Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 59-104 (2022). Reviewer: Keith Kearnes (Boulder) MSC: 08C20 06D50 06D30 PDFBibTeX XMLCite \textit{B. A. Davey} and \textit{S. P. Mendan}, Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 59--104 (2022; Zbl 1505.08006)
Mureşan, Claudia A note on congruences of infinite bounded involution lattices. (English) Zbl 1513.06010 Sci. Ann. Comput. Sci. 31, No. 1, 51-78 (2021). MSC: 06B10 06D30 PDFBibTeX XMLCite \textit{C. Mureşan}, Sci. Ann. Comput. Sci. 31, No. 1, 51--78 (2021; Zbl 1513.06010) Full Text: DOI arXiv
Kuznetsov, S. L.; Ryzhkova, N. S. A restricted fragment of the Lambek calculus with iteration and intersection operations. (English. Russian original) Zbl 1485.03053 Algebra Logic 59, No. 2, 129-146 (2020); translation from Algebra Logika 59, No. 2, 190-214 (2020). MSC: 03B47 03G25 03F52 PDFBibTeX XMLCite \textit{S. L. Kuznetsov} and \textit{N. S. Ryzhkova}, Algebra Logic 59, No. 2, 129--146 (2020; Zbl 1485.03053); translation from Algebra Logika 59, No. 2, 190--214 (2020) Full Text: DOI
McLean, Brett Free Kleene algebras with domain. (English) Zbl 1484.08014 J. Log. Algebr. Methods Program. 117, Article ID 100606, 14 p. (2020). MSC: 08B20 08A70 PDFBibTeX XMLCite \textit{B. McLean}, J. Log. Algebr. Methods Program. 117, Article ID 100606, 14 p. (2020; Zbl 1484.08014) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Järvinen} and \textit{S. Radeleczki}, Acta Math. Hung. 160, No. 1, 175--196 (2020; Zbl 1463.06020) Full Text: DOI arXiv
Kozen, Dexter; Silva, Alexandra Left-handed completeness. (English) Zbl 1436.68202 Theor. Comput. Sci. 807, 220-233 (2020). MSC: 68Q70 PDFBibTeX XMLCite \textit{D. Kozen} and \textit{A. Silva}, Theor. Comput. Sci. 807, 220--233 (2020; Zbl 1436.68202) Full Text: DOI
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S. Generalising KAT to verify weighted computations. (English) Zbl 1513.68011 Sci. Ann. Comput. Sci. 29, No. 2, 141-184 (2019). MSC: 68N30 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Gomes} et al., Sci. Ann. Comput. Sci. 29, No. 2, 141--184 (2019; Zbl 1513.68011) Full Text: DOI arXiv
Doumane, Amina; Kuperberg, Denis; Pous, Damien; Pradic, Pierre Kleene algebra with hypotheses. (English) Zbl 1524.68201 Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 207-223 (2019). MSC: 68Q70 03B25 08A70 68Q25 PDFBibTeX XMLCite \textit{A. Doumane} et al., Lect. Notes Comput. Sci. 11425, 207--223 (2019; Zbl 1524.68201) Full Text: DOI
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 PDFBibTeX XMLCite \textit{T. Kappé} et al., J. Log. Algebr. Methods Program. 103, 130--153 (2019; Zbl 1417.68134) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
Das, Anupam; Pous, Damien Non-wellfounded proof theory for (Kleene+action)(algebras+lattices). (English) Zbl 1528.03234 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018). MSC: 03F05 03G25 68Q45 PDFBibTeX XMLCite \textit{A. Das} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018; Zbl 1528.03234) Full Text: DOI
Doumane, Amina; Pous, Damien Completeness for identity-free Kleene lattices. (English) Zbl 1520.68055 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: 68Q45 68Q70 68Q85 PDFBibTeX XMLCite \textit{A. Doumane} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018; Zbl 1520.68055) Full Text: DOI
Pous, Damien On the positive calculus of relations with transitive closure. (English) Zbl 1487.03077 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 3, 16 p. (2018). MSC: 03G15 68Q70 PDFBibTeX XMLCite \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 3, 16 p. (2018; Zbl 1487.03077) Full Text: DOI
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 PDFBibTeX XMLCite \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)
Das, Anupam; Doumane, Amina; Pous, Damien Left-handed completeness for Kleene algebra, via cyclic proofs. (English) Zbl 1415.68124 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018). MSC: 68Q45 03B70 PDFBibTeX XMLCite \textit{A. Das} et al., EPiC Ser. Comput. 57, 271--289 (2018; Zbl 1415.68124) Full Text: DOI
Renardel de Lavalette, Gerard R. Interpolation in propositional Horn logic. (English) Zbl 1444.03127 J. Log. Comput. 28, No. 6, 1189-1215 (2018). MSC: 03C40 03B05 68Q55 PDFBibTeX XMLCite \textit{G. R. Renardel de Lavalette}, J. Log. Comput. 28, No. 6, 1189--1215 (2018; Zbl 1444.03127) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{A. Namdar} and \textit{R. A. Borzooei}, Soft Comput. 22, No. 21, 7119--7128 (2018; Zbl 1401.06018) Full Text: DOI
Gattinger, Malvin; Wagemaker, Jana Towards an analysis of dynamic gossip in Netkat. (English) Zbl 1518.68034 Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11194, 280-297 (2018). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{M. Gattinger} and \textit{J. Wagemaker}, Lect. Notes Comput. Sci. 11194, 280--297 (2018; Zbl 1518.68034) Full Text: DOI
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 PDFBibTeX XMLCite \textit{W. Guttmann}, J. Log. Algebr. Methods Program. 101, 132--150 (2018; Zbl 1401.68247) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Korniłowicz} et al., Formaliz. Math. 26, No. 1, 11--20 (2018; Zbl 1401.03106) Full Text: DOI
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 PDFBibTeX XMLCite \textit{L. Padovani}, J. Log. Algebr. Methods Program. 100, 16--35 (2018; Zbl 1400.68141) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{W. Guttmann}, Theor. Comput. Sci. 744, 37--55 (2018; Zbl 1401.68246) Full Text: DOI
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 PDFBibTeX XMLCite \textit{B. Yu} et al., Linear Algebra Appl. 555, 321--335 (2018; Zbl 1396.15022) Full Text: DOI
Järvinen, Jouni; Radeleczki, Sándor Representing regular pseudocomplemented Kleene algebras by tolerance-based rough sets. (English) Zbl 1528.06011 J. Aust. Math. Soc. 105, No. 1, 57-78 (2018). MSC: 06B15 06D15 06D30 06D72 06D20 PDFBibTeX XMLCite \textit{J. Järvinen} and \textit{S. Radeleczki}, J. Aust. Math. Soc. 105, No. 1, 57--78 (2018; Zbl 1528.06011) Full Text: DOI arXiv
Struth, Georg Hoare semigroups. (English) Zbl 1390.68440 Math. Struct. Comput. Sci. 28, No. 6, 775-799 (2018). MSC: 68Q60 03B70 20M10 PDFBibTeX XMLCite \textit{G. Struth}, Math. Struct. Comput. Sci. 28, No. 6, 775--799 (2018; Zbl 1390.68440) Full Text: DOI
Kozen, Dexter On the coalgebraic theory of Kleene algebra with tests. (English) Zbl 1437.68125 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 279-298 (2017). MSC: 68Q70 68Q60 68Q17 PDFBibTeX XMLCite \textit{D. Kozen}, Outst. Contrib. Log. 11, 279--298 (2017; Zbl 1437.68125) Full Text: DOI
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 PDFBibTeX XMLCite \textit{P. Brunet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017; Zbl 1442.68128) Full Text: DOI
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 PDFBibTeX XMLCite \textit{P. Brunet}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 66, 14 p. (2017; Zbl 1441.68137) Full Text: DOI
Shyshats’ka, O. V. The five-valued logics: construction and interpretation. (Ukrainian. English summary) Zbl 1413.03004 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 147-151 (2017). MSC: 03B50 PDFBibTeX XMLCite \textit{O. V. Shyshats'ka}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 147--151 (2017; Zbl 1413.03004)
Mattila, Jorma K. First steps toward fuzzy number-valued propositional logic. (English) Zbl 1398.03130 J. Mult.-Val. Log. Soft Comput. 29, No. 5, 397-423 (2017). MSC: 03B52 03E72 PDFBibTeX XMLCite \textit{J. K. Mattila}, J. Mult.-Val. Log. Soft Comput. 29, No. 5, 397--423 (2017; Zbl 1398.03130) Full Text: Link
Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Kozen, Dexter Infinitary axiomatization of the equational theory of context-free languages. (English) Zbl 1380.68289 Fundam. Inform. 150, No. 3-4, 241-257 (2017). MSC: 68Q70 03C05 PDFBibTeX XMLCite \textit{N. B. B. Grathwohl} et al., Fundam. Inform. 150, No. 3--4, 241--257 (2017; Zbl 1380.68289) Full Text: DOI arXiv
Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra Cantor meets Scott: semantic foundations for probabilistic networks. (English) Zbl 1380.68132 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 557-571 (2017). MSC: 68N30 68M10 PDFBibTeX XMLCite \textit{S. Smolka} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 557--571 (2017; Zbl 1380.68132) Full Text: DOI arXiv
Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra Completeness and incompleteness in nominal Kleene algebra. (English) Zbl 1372.68064 J. Log. Algebr. Methods Program. 91, 17-32 (2017). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{D. Kozen} et al., J. Log. Algebr. Methods Program. 91, 17--32 (2017; Zbl 1372.68064) Full Text: DOI Link
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin An algebraic approach to energy problems. II: The algebra of energy functions. (English) Zbl 1389.68057 Acta Cybern. 23, No. 1, 229-268 (2017). MSC: 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik} et al., Acta Cybern. 23, No. 1, 229--268 (2017; Zbl 1389.68057) Full Text: DOI
Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin An algebraic approach to energy problems. I: \(^*\)-continuous Kleene \(\omega\)-algebras. (English) Zbl 1389.68056 Acta Cybern. 23, No. 1, 203-228 (2017). MSC: 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik} et al., Acta Cybern. 23, No. 1, 203--228 (2017; Zbl 1389.68056) Full Text: DOI
Guttmann, Walter Stone relation algebras. (English) Zbl 1402.03099 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). Lecture Notes in Computer Science 10226, 127-143 (2017). MSC: 03G15 03B35 68T15 PDFBibTeX XMLCite \textit{W. Guttmann}, Lect. Notes Comput. Sci. 10226, 127--143 (2017; Zbl 1402.03099) Full Text: DOI
Desharnais, Jules; Möller, Bernhard Non-associative Kleene algebra and temporal logics. (English) Zbl 1486.68099 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 93-108 (2017). MSC: 68Q55 03B44 PDFBibTeX XMLCite \textit{J. Desharnais} and \textit{B. Möller}, Lect. Notes Comput. Sci. 10226, 93--108 (2017; Zbl 1486.68099) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{B. Möller} et al., Lect. Notes Comput. Sci. 10134, 1--25 (2017; Zbl 1483.68086) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{M. Sularia}, J. Mult.-Val. Log. Soft Comput. 27, No. 4, 299--352 (2016; Zbl 1394.06017) Full Text: Link
Brunet, Paul; Pous, Damien A formal exploration of nominal Kleene algebra. (English) Zbl 1398.68350 Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 22, 13 p. (2016). MSC: 68Q70 03G30 68Q55 68T15 PDFBibTeX XMLCite \textit{P. Brunet} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 58, Article 22, 13 p. (2016; Zbl 1398.68350) Full Text: DOI
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 PDFBibTeX XMLCite \textit{I. Chajda}, Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 55, No. 1, 39--45 (2016; Zbl 1431.06003) Full Text: Link
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 PDFBibTeX XMLCite \textit{A. McIver} et al., Theor. Comput. Sci. 655, Part B, 120--134 (2016; Zbl 1356.68156) Full Text: DOI arXiv
Guttmann, Walter Relation-algebraic verification of Prim’s minimum spanning tree algorithm. (English) Zbl 1400.68155 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 51-68 (2016). MSC: 68R10 05C22 05C85 68T15 PDFBibTeX XMLCite \textit{W. Guttmann}, Lect. Notes Comput. Sci. 9965, 51--68 (2016; Zbl 1400.68155) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Madeira} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1011--1037 (2016; Zbl 1355.03023) Full Text: DOI
Hayes, Ian J. Generalised rely-guarantee concurrency: an algebraic foundation. (English) Zbl 1348.68035 Formal Asp. Comput. 28, No. 6, 1057-1078 (2016). MSC: 68N19 68N30 PDFBibTeX XMLCite \textit{I. J. Hayes}, Formal Asp. Comput. 28, No. 6, 1057--1078 (2016; Zbl 1348.68035) Full Text: DOI arXiv
Armstrong, Alasdair; Gomes, Victor B. F.; Struth, Georg Building program construction and verification tools from algebraic principles. (English) Zbl 1342.68066 Formal Asp. Comput. 28, No. 2, 265-293 (2016). MSC: 68N30 68Q60 68T15 PDFBibTeX XMLCite \textit{A. Armstrong} et al., Formal Asp. Comput. 28, No. 2, 265--293 (2016; Zbl 1342.68066) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Jaskolka} and \textit{R. Khedri}, Theor. Comput. Sci. 643, 1--37 (2016; Zbl 1348.68164) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{T. Hoare} et al., J. Log. Algebr. Methods Program. 85, No. 4, 617--636 (2016; Zbl 1344.68149) Full Text: DOI
Uramoto, Takeo Canonical finite models of Kleene algebra with tests. (English) Zbl 1407.68321 J. Log. Algebr. Methods Program. 85, No. 4, 595-616 (2016). MSC: 68Q70 03B25 PDFBibTeX XMLCite \textit{T. Uramoto}, J. Log. Algebr. Methods Program. 85, No. 4, 595--616 (2016; Zbl 1407.68321) Full Text: DOI
Brunet, Paul; Pous, Damien Algorithms for Kleene algebra with converse. (English) Zbl 1345.68223 J. Log. Algebr. Methods Program. 85, No. 4, 574-594 (2016). MSC: 68Q70 03C05 68Q25 PDFBibTeX XMLCite \textit{P. Brunet} and \textit{D. Pous}, J. Log. Algebr. Methods Program. 85, No. 4, 574--594 (2016; Zbl 1345.68223) Full Text: DOI
Cachera, David; Fahrenberg, Uli; Legay, Axel An \(\omega\)-algebra for real-time energy problems. (English) Zbl 1366.68138 Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 394-407 (2015). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{D. Cachera} et al., LIPIcs -- Leibniz Int. Proc. Inform. 45, 394--407 (2015; Zbl 1366.68138) Full Text: DOI
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 PDFBibTeX XMLCite \textit{Y. She} and \textit{X. He}, J. Intell. Fuzzy Syst. 29, No. 4, 1367--1380 (2015; Zbl 1364.03090) Full Text: DOI
Smolka, Steffen; Eliopoulos, Spiridon; Foster, Nate; Guha, Arjun A fast compiler for NetKAT. (English) Zbl 1360.68352 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 328-341 (2015). MSC: 68N20 68N19 68Q45 PDFBibTeX XMLCite \textit{S. Smolka} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 328--341 (2015; Zbl 1360.68352) Full Text: DOI arXiv
Pous, Damien Symbolic algorithms for language equivalence and Kleene algebra with tests. (English) Zbl 1346.68120 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). 357-368 (2015). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{D. Pous}, 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). 357--368 (2015; Zbl 1346.68120) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
Stefanescu, Gheorghe A quest for Kleene algebra in 2 dimensions. (English) Zbl 1471.68121 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 3-26 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Stefanescu}, Lect. Notes Comput. Sci. 9348, 3--26 (2015; Zbl 1471.68121) Full Text: DOI
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 PDFBibTeX XMLCite \textit{S. Broda} et al., Lect. Notes Comput. Sci. 9223, 49--62 (2015; Zbl 1465.68192) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{B. Möller} and \textit{T. Hoare}, Lect. Notes Comput. Sci. 9129, 1--29 (2015; Zbl 1432.68314) Full Text: DOI Link
Foster, Simon; Struth, Georg On the fine-structure of regular algebra. (English) Zbl 1331.68128 J. Autom. Reasoning 54, No. 2, 165-197 (2015). MSC: 68Q45 68Q70 68T15 PDFBibTeX XMLCite \textit{S. Foster} and \textit{G. Struth}, J. Autom. Reasoning 54, No. 2, 165--197 (2015; Zbl 1331.68128) Full Text: DOI Link
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão Deciding Kleene algebra terms equivalence in Coq. (English) Zbl 1329.68232 J. Log. Algebr. Methods Program. 84, No. 3, 377-401 (2015). MSC: 68T15 68Q45 68Q60 PDFBibTeX XMLCite \textit{N. Moreira} et al., J. Log. Algebr. Methods Program. 84, No. 3, 377--401 (2015; Zbl 1329.68232) Full Text: DOI
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 PDFBibTeX XMLCite \textit{P. W. O'Hearn} et al., J. Log. Algebr. Methods Program. 84, No. 3, 285--302 (2015; Zbl 1330.03072) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Niv}, Linear Algebra Appl. 471, 264--290 (2015; Zbl 1310.15009) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{J. Jaskolka} and \textit{R. Khedri}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 161, 161--174 (2014; Zbl 1464.68250) Full Text: arXiv Link
Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos KAT + B! (English) Zbl 1401.68040 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 44, 10 p. (2014). MSC: 68N30 68Q60 68Q70 PDFBibTeX XMLCite \textit{N. B. B. Grathwohl} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 44, 10 p. (2014; Zbl 1401.68040) Full Text: DOI
Kozen, Dexter NetKAT – a formal system for the verification of networks. (English) Zbl 1453.68051 Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8858, 1-18 (2014). MSC: 68N30 68M10 68Q45 68Q60 PDFBibTeX XMLCite \textit{D. Kozen}, Lect. Notes Comput. Sci. 8858, 1--18 (2014; Zbl 1453.68051) Full Text: DOI
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 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{P. Kulicki}, Outst. Contrib. Log. 1, 85--117 (2014; Zbl 1351.03012) Full Text: DOI Link
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério On the equivalence of automata for KAT-expressions. (English) Zbl 1432.68218 Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 73-83 (2014). MSC: 68Q45 03B25 03B70 03D05 68N30 PDFBibTeX XMLCite \textit{S. Broda} et al., Lect. Notes Comput. Sci. 8493, 73--83 (2014; Zbl 1432.68218) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{A. Armstrong} et al., J. Log. Algebr. Methods Program. 83, No. 2, 87--102 (2014; Zbl 1434.68637) Full Text: DOI
Banu-Demergian, Iulia Teodora; Stefanescu, Gheorghe Towards a formal representation of interactive systems. (English) Zbl 1359.68156 Fundam. Inform. 131, No. 3-4, 313-336 (2014). MSC: 68Q45 68N30 68Q10 PDFBibTeX XMLCite \textit{I. T. Banu-Demergian} and \textit{G. Stefanescu}, Fundam. Inform. 131, No. 3--4, 313--336 (2014; Zbl 1359.68156) Full Text: DOI
Uramoto, Takeo A modified completeness theorem of KAT and decidability of term reducibility. (English) Zbl 1344.68151 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, 83-100 (2014). MSC: 68Q70 03B25 PDFBibTeX XMLCite \textit{T. Uramoto}, Lect. Notes Comput. Sci. 8428, 83--100 (2014; Zbl 1344.68151) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{J. Jaskolka} et al., Lect. Notes Comput. Sci. 8428, 19--36 (2014; Zbl 1405.68214) Full Text: DOI
Anderson, Carolyn Jane; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter; Schlesinger, Cole; Walker, David Netkat, semantic foundations for networks. (English) Zbl 1284.68100 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 113-126 (2014). MSC: 68N15 68Q60 68T15 68Q55 03B70 PDFBibTeX XMLCite \textit{C. J. Anderson} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 113--126 (2014; Zbl 1284.68100) Full Text: DOI
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 PDFBibTeX XMLCite \textit{V. M. Gonçalves} et al., Linear Algebra Appl. 445, 69--84 (2014; Zbl 1294.15017) Full Text: DOI
Kozen, Dexter; Mamouras, Konstantinos Kleene algebra with products and iteration theories. (English) Zbl 1356.68148 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 415-431 (2013). MSC: 68Q70 18C10 18C20 18D10 PDFBibTeX XMLCite \textit{D. Kozen} and \textit{K. Mamouras}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 415--431 (2013; Zbl 1356.68148) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. de la Puente}, Kybernetika 49, No. 6, 897--910 (2013; Zbl 1297.15029) Full Text: arXiv Link
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 PDFBibTeX XMLCite \textit{B. B. Gursoy} et al., Electron. J. Linear Algebra 26, 15--27 (2013; Zbl 1283.15080) Full Text: DOI arXiv Link Link
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 PDFBibTeX XMLCite \textit{S. Aguzzoli} et al., Algebra Univers. 70, No. 3, 245--270 (2013; Zbl 1316.06013) Full Text: DOI arXiv
Broda, Sabine; Machiavelo, António; Moreira, Nelma; Reis, Rogério On the average size of Glushkov and equation automata for KAT expressions. (English) Zbl 1351.68136 Gąsieniec, Leszek (ed.) et al., Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19–21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40163-3/pbk). Lecture Notes in Computer Science 8070, 72-83 (2013). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Broda} et al., Lect. Notes Comput. Sci. 8070, 72--83 (2013; Zbl 1351.68136) Full Text: DOI
Nagarajan, E. K. R.; Umadevi, D. A method of representing rough sets system determined by quasi orders. (English) Zbl 1270.03111 Order 30, No. 1, 313-337 (2013). MSC: 03E72 06D05 PDFBibTeX XMLCite \textit{E. K. R. Nagarajan} and \textit{D. Umadevi}, Order 30, No. 1, 313--337 (2013; Zbl 1270.03111) Full Text: DOI
Silva, Alexandra Position automata for Kleene algebra with tests. (English) Zbl 1424.68089 Sci. Ann. Comput. Sci. 22, No. 2, 367-394 (2012). MSC: 68Q45 68Q55 PDFBibTeX XMLCite \textit{A. Silva}, Sci. Ann. Comput. Sci. 22, No. 2, 367--394 (2012; Zbl 1424.68089) Full Text: DOI
Höfner, Peter; Möller, Bernhard Dijkstra, Floyd and Warshall meet Kleene. (English) Zbl 1259.68243 Formal Asp. Comput. 24, No. 4-6, 459-476 (2012). MSC: 68W30 16Y60 08A70 PDFBibTeX XMLCite \textit{P. Höfner} and \textit{B. Möller}, Formal Asp. Comput. 24, No. 4--6, 459--476 (2012; Zbl 1259.68243) Full Text: DOI Link
Struth, Georg Left omega algebras and regular equations. (English) Zbl 1279.68242 J. Log. Algebr. Program. 81, No. 6, 705-717 (2012). MSC: 68Q70 68T15 PDFBibTeX XMLCite \textit{G. Struth}, J. Log. Algebr. Program. 81, No. 6, 705--717 (2012; Zbl 1279.68242) Full Text: DOI
Guttmann, Walter Typing theorems of omega algebra. (English) Zbl 1279.68237 J. Log. Algebr. Program. 81, No. 6, 643-659 (2012). MSC: 68Q70 PDFBibTeX XMLCite \textit{W. Guttmann}, J. Log. Algebr. Program. 81, No. 6, 643--659 (2012; Zbl 1279.68237) Full Text: DOI
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 PDFBibTeX XMLCite \textit{P. Butkovič} et al., Linear Multilinear Algebra 60, No. 10, 1191--1210 (2012; Zbl 1255.15031) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{D. Pous}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p. (2012; Zbl 1241.03009) Full Text: DOI arXiv
Grunsky, Igor; Potapov, Igor; Pryanichnikova, Elena On algebra of languages representable by vertex-labeled graphs. (English) Zbl 1279.68154 Theor. Comput. Sci. 426-427, 42-48 (2012). MSC: 68Q45 68R10 68Q70 PDFBibTeX XMLCite \textit{I. Grunsky} et al., Theor. Comput. Sci. 426--427, 42--48 (2012; Zbl 1279.68154) Full Text: DOI
Braibant, Thomas; Pous, Damien Deciding Kleene algebras in Coq. (English) Zbl 1238.68146 Log. Methods Comput. Sci. 8, No. 1, Paper No. 16, 42 p. (2012). MSC: 68T15 68Q45 68Q70 PDFBibTeX XMLCite \textit{T. Braibant} and \textit{D. Pous}, Log. Methods Comput. Sci. 8, No. 1, Paper No. 16, 42 p. (2012; Zbl 1238.68146) Full Text: DOI
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 PDFBibTeX XMLCite \textit{H. Furusawa} et al., Bull. Inf. Cybern. 43, 1--21 (2011; Zbl 1271.06016)
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 PDFBibTeX XMLCite \textit{M. Jackson} and \textit{T. Stokes}, Int. J. Algebra Comput. 21, No. 7, 1053--1095 (2011; Zbl 1256.20058) Full Text: DOI
Andréka, Hajnal; Mikulás, Szabolcs; Németi, István The equational theory of Kleene lattices. (English) Zbl 1234.68273 Theor. Comput. Sci. 412, No. 52, 7099-7108 (2011). MSC: 68Q70 PDFBibTeX XMLCite \textit{H. Andréka} et al., Theor. Comput. Sci. 412, No. 52, 7099--7108 (2011; Zbl 1234.68273) Full Text: DOI
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 PDFBibTeX XMLCite \textit{T. Hoare} et al., J. Log. Algebr. Program. 80, No. 6, 266--296 (2011; Zbl 1278.68176) Full Text: DOI Link
Dang, H.-H.; Höfner, P.; Möller, B. Algebraic separation logic. (English) Zbl 1260.03060 J. Log. Algebr. Program. 80, No. 6, 221-247 (2011). Reviewer: Damas Gruska (Bratislava) MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{H. H. Dang} et al., J. Log. Algebr. Program. 80, No. 6, 221--247 (2011; Zbl 1260.03060) Full Text: DOI
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 PDFBibTeX XMLCite \textit{S. Sergeev} and \textit{E. Wagneur}, Linear Algebra Appl. 435, No. 7, 1758--1768 (2011; Zbl 1227.15018) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \textit{J. Desharnais} and \textit{G. Struth}, Sci. Comput. Program. 76, No. 3, 181--203 (2011; Zbl 1211.68242) Full Text: DOI