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; zbMATH DE number 3993563 - MaRDI portal

scientific article; zbMATH DE number 3993563

From MaRDI portal

Publication:4722055

Jump to:navigation, search

zbMath0614.03037MaRDI QIDQ4722055

Jerzy Skurczyński, A. Włodzimierz Mostowski, Klaus W. Wagner

Publication date: 1986

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

zbMATH Keywords

decision problems Borel hierarchy infinite trees deterministic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (1)

The Borel hierarchy is infinite in the class of regular sets of trees

This page was built for publication:

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