scientific article; zbMATH DE number 1995184

MaRDI QIDQ4431395zbMATH OpenFDO

Authors Andrej Muchnik

Publication date 21 October 2003

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