Habermehl, Peter; Kuske, Dietrich On Presburger arithmetic extended with non-unary counting quantifiers. (English) Zbl 07731932 Log. Methods Comput. Sci. 19, No. 3, Paper No. 4, 32 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Habermehl} and \textit{D. Kuske}, Log. Methods Comput. Sci. 19, No. 3, Paper No. 4, 32 p. (2023; Zbl 07731932) Full Text: DOI arXiv
Kuske, Dietrich Second-order finite automata: expressive power and simple proofs using automatic structures. (English) Zbl 07498730 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 242-254 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kuske}, Lect. Notes Comput. Sci. 12811, 242--254 (2021; Zbl 07498730) Full Text: DOI
Kuske, Dietrich; Muscholl, Anca Communicating automata. (English) Zbl 07425667 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1147-1188 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kuske} and \textit{A. Muscholl}, in: Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1147--1188 (2021; Zbl 07425667) Full Text: DOI