On the logical definability of topologically closed recognizable languages of infinite trees

Bibliographic Details
Main Authors: Janin, David (Author), Lenzi, Giacomo, 1965- (Author)
Format: Article
Language:Slovak
English
Subjects: