scientific article; zbMATH DE number 1995184

zbMATH Open1030.03513MaRDI QIDQ4431395FDOQ4431395

Authors: Andrej Muchnik 

Publication date: 21 October 2003

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

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Cited In (3)

• The lattice of definability: origins, recent developments, and further directions
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• An initial semantics for the \(\mu\)-calculus on trees and Rabin's complementation lemma

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