scientific article; zbMATH DE number 1995184

MaRDI QIDQ4431395zbMATH OpenFDO

Authors Andrej Muchnik

Publication date 21 October 2003

Mathematics Subject Classification ID

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

Cited in

(4)

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

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)