scientific article

zbMath0792.68109MaRDI QIDQ3992263

Roger Villemaire

Publication date: 13 August 1992

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

zbMATH Keywords

multiplicationBüchi's theorem\(k\)-automata

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items

The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable