scientific article; zbMATH DE number 7301731

zbMath1472.68077MaRDI QIDQ5146755

N. V. Evtushenko, V. G. Bushkov

Publication date: 26 January 2021

Full work available at URL: http://mathnet.ru/eng/pdm172

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

zbMATH Keywords

Büchi automataautomata equationsequations over \(\omega \)-languagesparallel composition of \(\omega \)-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Weak Second‐Order Arithmetic and Finite Automata
• Supervision of Infinite Behavior of Discrete-Event Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: