scientific article; zbMATH DE number 7438576

zbMath1476.68138arXiv1509.07209MaRDI QIDQ5013886

Ryoma Sin'ya

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1509.07209

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items

Asymptotic approximation by regular languages, Carathéodory extensions of subclasses of regular languages, Measuring power of locally testable languages, Measuring power of generalised definite languages, Unnamed Item

Cites Work

• Elements of finite model theory.
• Infinitary logics and 0-1 laws
• Reset words for commutative and solvable automata
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
• A zero-one law for logic with a fixed-point operator
• Probabilities on finite models
• Probability theory on discrete semigroups
• Handbook of Automata Theory
• LATIN 2004: Theoretical Informatics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item