scientific article; zbMATH DE number 7301731

MaRDI QIDQ5146755zbMATH OpenFDO

Authors V. G. Bushkov, N. Evtushenko

Publication date 26 January 2021

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

zbMATH Keywords

automata equationsBüchi automataequations over \(\omega \)-languagesparallel composition of \(\omega \)-languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 7300359
• scientific article; zbMATH DE number 4045106
• scientific article; zbMATH DE number 4172382
• The quest for equational axiomatizations of parallel composition: status and open problems
• scientific article; zbMATH DE number 4164143
• scientific article; zbMATH DE number 493142
• scientific article; zbMATH DE number 3907747
• Parallel reductions in \(\lambda\)-calculus
• Parallel reductions in \(\lambda\)-calculus
• Parallelizing SMT solving: lazy decomposition and conciliation

Cites work

• scientific article; zbMATH DE number 7300359 (Why is no real title available?)
• scientific article; zbMATH DE number 3334172 (Why is no real title available?)
• Supervision of Infinite Behavior of Discrete-Event Systems
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(2)

• Left omega algebras and regular equations
• scientific article; zbMATH DE number 7300359 (Why is no real title available?)

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