scientific article; zbMATH DE number 626030

zbMATH Open0802.03008MaRDI QIDQ4303681

Andreas Podelski, Hugues Calbrix, M. Nivat

Publication date: 27 September 1994

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

zbMATH Keywords

Büchi automatamonadic logicfinite representation of infinite ultimately periodic wordsminimal deterministic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

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