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

alternating automataBüchi automatadecidabilitydecision problemsEhrenfeucht-Fraïssé gamesfinite automatafinite treesfinite wordsformal languagesinfinite treesinfinite wordsmodal \(\mu\)-calculusmonadic second-order logicMuller automataparity automataparity gamesRabin automataStreett automatatemporal logictree automatatree languages

Mathematics Subject Classification ID

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

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

(20)

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