Variétés d'automates descendants d'arbres infinis
type: Item
instance of: scholarly article
title: Variétés d'automates descendants d'arbres infinis
zbMATH Open document ID: 0597.68061
DOI: 10.1016/0304-3975(86)90183-0
published in: Theoretical Computer Science
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 3963217
zbMATH Keywords: automata recognizing infinite tree languages
zbMATH Keywords: varieties of
zbMATH Keywords: automata
zbMATH Keywords: Büchi automata
zbMATH Keywords: Muller automata
author: Ahmed Saoudi
MaRDI profile type: Publication
full work available at URL: 0304-3975(86)90183-0
OpenAlex ID: W2018168051
cites work: Formal computations of non deterministic recursive program schemes
cites work: Adherences of languages
cites work: A representation of trees by languages. II
cites work: Fundamental properties of infinite trees
cites work: Q3948612
cites work: A note on infinite trees
cites work: Q3738547
cites work: Pushdown tree automata
cites work: Q3945602
cites work: Q5616162
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Infinitary tree languages recognized by \(\omega\)-automata
cites work: Q3967525
description: scientific article; zbMATH DE number 3963217