scientific article; zbMATH DE number 3948238

MaRDI QIDQ3718690zbMATH OpenFDO

Authors Alexander Leitsch

Publication date 1985

zbMATH Keywords

generation-sequencesperiodicityunbounded quantification

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Theory of numerations, effectively presented structures (03D45) Specification and verification (program logics, model checking, etc.) (68Q60) Cellular automata (computational aspects) (68Q80)

Recommendations

• scientific article; zbMATH DE number 3933047
• scientific article; zbMATH DE number 3918355
• scientific article; zbMATH DE number 3934415
• scientific article; zbMATH DE number 1484314
• scientific article; zbMATH DE number 1746429
• Enumeration and decidable properties of automatic sequences
• Enumeration and decidable properties of automatic sequences
• Applications of the theory of automata in enumeration
• Decidability and Enumeration for Automatic Sequences: A Survey
• scientific article; zbMATH DE number 2040911

Cited in

(3)

• scientific article; zbMATH DE number 3918355 (Why is no real title available?)
• scientific article; zbMATH DE number 3933047 (Why is no real title available?)
• An improved generalized enumeration of substitution systems

This page was built for publication:

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