×

Found 22 Documents (Results 1–22)

On the coprimeness relation from the viewpoint of monadic second-order logic. (English. Russian original) Zbl 07733645

Izv. Math. 86, No. 6, 1225-1239 (2022); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 86, No. 6, 207-222 (2022).
MSC:  03F35 03D55 03D35
PDFBibTeX XMLCite
Full Text: DOI MNR

Descriptive set theoretic methods in automata theory. Decidability and topological complexity. (English) Zbl 1375.03003

Lecture Notes in Computer Science 9802. Berlin: Springer (ISBN 978-3-662-52946-1/pbk; 978-3-662-52947-8/ebook). xiii, 211 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Weak MSO: automata and expressiveness modulo bisimilarity. (English) Zbl 1401.03065

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. 27, 10 p. (2014).
MSC:  03D05 03B15 03B45 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

A characterization theorem for the alternation-free fragment of the modal \(\mu\)-calculus. (English) Zbl 1366.03186

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 478-487 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Modal logic of time division. (English) Zbl 1244.03076

Areces, Carlos (ed.) et al., Advances in modal logic. Vol. 7. Proceedings of the 7th conference (AiML 2008), Nancy, France, September 9–12, 2008. London: College Publications (ISBN 978-1-904987-68-0/pbk). 363-387 (2008).
MSC:  03B45 03B25
PDFBibTeX XMLCite

Combining WS1S and HOL. (English) Zbl 0988.03024

Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 39-56 (2000).
MSC:  03B35 68T15 03B15
PDFBibTeX XMLCite

The MSO logic-automaton connection in linguistics. (English) Zbl 0933.03026

Lecomte, Alain (ed.) et al., Logical aspects of computational linguistics. 2nd international conference, LACL ’97. Nancy, France, September 22–24, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1582, 112-131 (1999).
PDFBibTeX XMLCite

Open questions around Büchi and Presburger arithmetics. (English) Zbl 0865.03008

Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 353-383 (1996).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software