Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3967525

Jump to:navigation, search

zbMath0502.03022MaRDI QIDQ3967525

Wolfgang Thomas

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tree automata arithmetical hierarchy infinite trees infinite hierarchy monadic logic Buechi automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (7)

Variétés d'automates descendants d'arbres infinis ⋮ Topological characterizations of infinite tree languages ⋮ A gap property of deterministic tree languages. ⋮ Generalized automata on infinite trees and Muller-McNaughton's theorem ⋮ Theμ-calculus alternation-depth hierarchy is strict on binary trees ⋮ Automata on infinite objects and their applications to logic and programming ⋮ Hierarchies of weak automata and weak monadic formulas

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3967525&oldid=17675072"