Ésik, Zoltán Equational theories for automata. (English) Zbl 1518.68216 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729-764 (2021). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729--764 (2021; Zbl 1518.68216) Full Text: DOI
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
Ésik, Z. Equational properties of fixed-point operations in Cartesian categories: an overview. (English) Zbl 1423.68269 Math. Struct. Comput. Sci. 29, No. 6, 909-925 (2019). MSC: 68Q55 18B20 18C10 18D10 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik}, Math. Struct. Comput. Sci. 29, No. 6, 909--925 (2019; Zbl 1423.68269) Full Text: DOI
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
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; 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
Rot, Jurriaan; Bonsangue, Marcello; Rutten, Jan Proving language inclusion and equivalence by coinduction. (English) Zbl 1333.68174 Inf. Comput. 246, 62-76 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Rot} et al., Inf. Comput. 246, 62--76 (2016; Zbl 1333.68174) Full Text: DOI
Ésik, Zoltán Equational properties of fixed point operations in Cartesian categories: an overview. (English) Zbl 1423.68270 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 18-37 (2015). MSC: 68Q55 18B20 18C10 18D10 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik}, Lect. Notes Comput. Sci. 9234, 18--37 (2015; Zbl 1423.68270) Full Text: DOI
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
Cranch, James; Laurence, Michael R.; Struth, Georg Completeness results for omega-regular algebras. (English) Zbl 1335.68155 J. Log. Algebr. Methods Program. 84, No. 3, 402-425 (2015). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 PDFBibTeX XMLCite \textit{J. Cranch} et al., J. Log. Algebr. Methods Program. 84, No. 3, 402--425 (2015; Zbl 1335.68155) Full Text: DOI
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
Laurence, Michael R.; Struth, Georg On completeness of omega-regular algebras. (English) Zbl 1335.68158 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 179-194 (2012). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 PDFBibTeX XMLCite \textit{M. R. Laurence} and \textit{G. Struth}, Lect. Notes Comput. Sci. 7560, 179--194 (2012; Zbl 1335.68158) Full Text: DOI
Kozen, Dexter; Silva, Alexandra Left-handed completeness. (English) Zbl 1364.68268 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 162-178 (2012). MSC: 68Q70 PDFBibTeX XMLCite \textit{D. Kozen} and \textit{A. Silva}, Lect. Notes Comput. Sci. 7560, 162--178 (2012; Zbl 1364.68268) Full Text: DOI
Armstrong, Alasdair; Struth, Georg Automated reasoning in higher-order regular algebra. (English) Zbl 1364.68326 Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 66-81 (2012). MSC: 68T15 06A15 06F07 68Q70 PDFBibTeX XMLCite \textit{A. Armstrong} and \textit{G. Struth}, Lect. Notes Comput. Sci. 7560, 66--81 (2012; Zbl 1364.68326) Full Text: DOI
Santocanale, Luigi; Venema, Yde Completeness for flat modal fixpoint logics. (English) Zbl 1225.03020 Ann. Pure Appl. Logic 162, No. 1, 55-82 (2010). MSC: 03B45 03B70 06E25 PDFBibTeX XMLCite \textit{L. Santocanale} and \textit{Y. Venema}, Ann. Pure Appl. Logic 162, No. 1, 55--82 (2010; Zbl 1225.03020) Full Text: DOI Link
Ésik, Z. Axiomatizing the equational theory of regular tree languages. (English) Zbl 1184.68315 J. Log. Algebr. Program. 79, No. 2, 189-213 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{Z. Ésik}, J. Log. Algebr. Program. 79, No. 2, 189--213 (2010; Zbl 1184.68315) Full Text: DOI
Bloom, S. L.; Ésik, Z. Axiomatizing rational power series over natural numbers. (English) Zbl 1167.68036 Inf. Comput. 207, No. 7, 793-811 (2009). MSC: 68Q70 08A70 16Y60 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, Inf. Comput. 207, No. 7, 793--811 (2009; Zbl 1167.68036) Full Text: DOI
Ésik, Zoltán Iteration semirings. (English) Zbl 1161.68598 Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 1-20 (2008). MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, Lect. Notes Comput. Sci. 5257, 1--20 (2008; Zbl 1161.68598) Full Text: DOI
Ésik, Zoltán; Leiß, Hans Algebraically complete semirings and Greibach normal form. (English) Zbl 1066.68084 Ann. Pure Appl. Logic 133, No. 1-3, 173-203 (2005). Reviewer: Daniela Marinescu (Braşov) MSC: 68Q70 68Q42 16Y60 03C05 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{H. Leiß}, Ann. Pure Appl. Logic 133, No. 1--3, 173--203 (2005; Zbl 1066.68084) Full Text: DOI
Santocanale, Luigi On the equational definition of the least prefixed point. (English) Zbl 1045.68088 Theor. Comput. Sci. 295, No. 1-3, 341-370 (2003). MSC: 68Q55 PDFBibTeX XMLCite \textit{L. Santocanale}, Theor. Comput. Sci. 295, No. 1--3, 341--370 (2003; Zbl 1045.68088) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltán The equational logic of fixed points. (English) Zbl 0920.03067 Theor. Comput. Sci. 179, No. 1-2, 1-60 (1997). Reviewer: P.Bankston (Milwaukee) MSC: 03G30 18C10 08A70 03D75 08B05 06B35 68Q55 PDFBibTeX XMLCite \textit{S. L. Bloom} and \textit{Z. Ésik}, Theor. Comput. Sci. 179, No. 1--2, 1--60 (1997; Zbl 0920.03067) Full Text: DOI