×

Found 81 Documents (Results 1–81)

100
MathJax

Block-groups and Hall relations. (English) Zbl 07450042

Romeo, P. G. (ed.) et al., Semigroups, categories, and partial algebras. ICSAA 2019. Proceedings of the conference, Kochi, India, December 9–12, 2019. Singapore: Springer. Springer Proc. Math. Stat. 345, 25-32 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Uniformisation gives the full strength of regular languages. (English) Zbl 07561705

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 61, 13 p. (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Testing Simon’s congruence. (English) Zbl 07378379

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 62, 13 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

The power of programs over monoids in DA. (English) Zbl 1440.68088

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 2, 20 p. (2017).
MSC:  68Q09 68Q15 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Characterization of the pseudovariety generated by finite monoids satisfying \(\mathcal R=\mathcal H\). (English. Russian original) Zbl 1344.20074

Proc. Steklov Inst. Math. 292, Suppl. 1, S245-S252 (2016); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 21, No. 1, 197-204 (2015).
MSC:  20M10 20M07
PDF BibTeX XML Cite
Full Text: DOI

Quantifier alternation for infinite words. (English) Zbl 1476.03051

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 234-251 (2016).
MSC:  03D05 03B70 03D15
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the pseudovariety generated by all finite monoids satisfying \(\mathcal R=\mathcal H\). (English. Russian original) Zbl 1320.20056

Proc. Steklov Inst. Math. 288, Suppl. 1, S156-S161 (2015); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 20, No. 1, 215-220 (2014).
PDF BibTeX XML Cite
Full Text: DOI

The structure of finite monoids satisfying the relation \(\mathcal R=\mathcal H\). (English. Russian original) Zbl 1316.20067

Proc. Steklov Inst. Math. 287, Suppl. 1, S134-S144 (2014); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 19, No. 4, 181-191 (2013).
PDF BibTeX XML Cite
Full Text: DOI

An algebraic characterization of strictly piecewise languages. (English) Zbl 1331.68146

Ogihara, Mitsunori (ed.) et al., Theory and applications of models of computation. 8th annual conference, TAMC 2011, Tokyo, Japan, May 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20876-8/pbk). Lecture Notes in Computer Science 6648, 252-263 (2011).
MSC:  68Q70 68T50
PDF BibTeX XML Cite
Full Text: DOI

Efficient reconstruction of RC-equivalent strings. (English) Zbl 1326.68372

Iliopoulos, Costas S. (ed.) et al., Combinatorial algorithms. 21st international workshop, IWOCA 2010, London, UK, July 26–28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19221-0/pbk). Lecture Notes in Computer Science 6460, 349-362 (2011).
MSC:  68W32 68R15
PDF BibTeX XML Cite
Full Text: DOI Link

Factorization forests. (English) Zbl 1247.68127

Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 1-17 (2009).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software