×

Found 271 Documents (Results 1–100)

Finitely generated subgroups of branch groups and subdirect products of just infinite groups. (English. Russian original) Zbl 07480688

Izv. Math. 85, No. 6, 1128-1145 (2021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 85, No. 6, 104-125 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

DAWGs for parameterized matching: online construction and related indexing structures. (English) Zbl 07651117

Gørtz, Inge Li (ed.) et al., 31st annual symposium on combinatorial pattern matching, CPM 2020, Copenhagen, Denmark, June 17–19, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 161, Article 26, 14 p. (2020).
MSC:  68W32
PDFBibTeX XMLCite
Full Text: DOI

Ambiguity hierarchy of regular infinite tree languages. (English) Zbl 07559451

Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 80, 14 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Degrees of ambiguity of Büchi tree automata. (English) Zbl 07650347

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 50, 14 p. (2019).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Decidable inequalities over infinite trees. (English) Zbl 1415.68059

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, 111-130 (2018).
PDFBibTeX XMLCite
Full Text: DOI

A sampling of remarkable groups. Thompson’s, self-similar, lamplighter, and Baumslag-Solitar. (English) Zbl 1446.20001

Compact Textbooks in Mathematics. Cham: Birkhäuser (ISBN 978-3-030-01976-1/pbk; 978-3-030-01978-5/ebook). xii, 188 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

How unprovable is Rabin’s decidability theorem? (English) Zbl 1394.03016

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 788-797 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automata on infinite trees with equality and disequality constraints between siblings. (English) Zbl 1401.68152

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 227-236 (2016).
MSC:  68Q45 03B25 03D05
PDFBibTeX XMLCite
Full Text: DOI HAL

Trees and languages with periodic signature. (English) Zbl 1429.68127

Kranakis, Evangelos (ed.) et al., LATIN 2016: theoretical informatics. 12th Latin American symposium, Ensenada, Mexico, April 11–15, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9644, 605-618 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Linear-time generation of inhomogeneous random directed walks. (English) Zbl 1429.60014

Sedgewick, Robert (ed.) et al., Proceedings of the 12th workshop on analytic algorithmics and combinatorics (ANALCO ’15), San Diego, CA, USA, January 4, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 51-65 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On some algorithmic properties of finite state automorphisms of rooted trees. (English) Zbl 1326.20037

Kahrobaei, Delaram (ed.) et al., Algorithmic problems of group theory, their complexity, and applications to cryptography. AMS special sessions on algorithmic problems of group theory and their complexity, San Diego, CA, USA, January 9–10, 2013 and on algorithmic problems of group theory and applications to information security, Boston College, Chestnut Hill, MA, USA, April 6–7, 2013. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9859-8/pbk; 978-1-4704-2263-9/ebook). Contemporary Mathematics 633, 115-123 (2015).
MSC:  20F10 20E08
PDFBibTeX XMLCite

Milnor’s problem on the growth of groups and its consequences. (English) Zbl 1325.20034

Bonifant, Araceli (ed.) et al., Frontiers in complex dynamics. In celebration of John Milnor’s 80th birthday. Based on a conference, Banff, Canada, February 2011. Princeton, NJ: Princeton University Press (ISBN 978-0-691-15929-4/hbk; 978-1-400-85131-7/ebook). 705-773 (2014).
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software