Automatentheorie und Logik

DOI10.1007/978-3-642-18090-3MaRDI QIDQ3083622zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Martin Hofmann, Martin Lange

Publication date 22 March 2011

Published in eXamen.press (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18090-3

zbMATH Keywords

decidabilityfinite automataformal languagesmonadic second-order logictree automatatemporal logicinfinite wordsfinite treesinfinite treesdecision problemsparity gamesmodal \(\mu\)-calculusalternating automataparity automatatree languagesfinite wordsMuller automataRabin automataStreett automataEhrenfeucht-Fraïssé gamesBüchi automata

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 459361
• scientific article; zbMATH DE number 1333447
• Automaton logic
• Automata Theory and Formal Languages
• scientific article; zbMATH DE number 7639970
• scientific article; zbMATH DE number 1033559
• Automata theory and its applications
• scientific article; zbMATH DE number 3189696
• scientific article; zbMATH DE number 5872401

Cited in

(19)

• Decidability of S1S and S2S
• The logical strength of Büchi's decidability theorem
• Automata and finite model theory
• -automata
• Valuations of weighted automata: doing it in a rational way
• scientific article; zbMATH DE number 5279417 (Why is no real title available?)
• scientific article; zbMATH DE number 130894 (Why is no real title available?)
• scientific article; zbMATH DE number 49206 (Why is no real title available?)
• Automata theory and its applications
• scientific article; zbMATH DE number 1333447 (Why is no real title available?)
• The logical strength of Büchi's decidability theorem
• scientific article; zbMATH DE number 3170714 (Why is no real title available?)
• Regular language representations in the constructive type theory of Coq
• Automata vs. Logics on Data Words
• scientific article; zbMATH DE number 5872401 (Why is no real title available?)
• scientific article; zbMATH DE number 7639970 (Why is no real title available?)
• Logic and Branching Automata
• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• Automata theory. An algorithmic approach

This page was built for publication: Automatentheorie und Logik

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3083622)