scientific article; zbMATH DE number 7204314

DOI10.4230/LIPICS.CSL.2017.22zbMATH Open1434.03100MaRDI QIDQ5111190

Dominique Lecomte, Olivier Carton, Olivier Finkel

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

infinite wordsCantor spacelogic in computer scienceautomata and formal languagesBüchi automatonPolish topologyregular \(\omega\)-languagealphabetic topologyautomatic topologyBüchi topologyfiner topologiesstrong alphabetic topology

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05) Turing machines and related notions (03D10)

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 Q5111190)