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 459361 - MaRDI portal

scientific article; zbMATH DE number 459361

From MaRDI portal

Publication:4271219

Jump to:navigation, search

zbMATH Open0799.20064MaRDI QIDQ4271219

Howard Straubing

Publication date: 21 November 1994

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

zbMATH Keywords

computational complexity monadic second-order logic finite automata formal languages regular languages first-order definability recognizability

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (8)

Complexity of some problems from the theory of automata ⋮ Automata and logics over finitely varying functions ⋮ Unnamed Item ⋮ Automata and finite model theory ⋮ Automata vs. Logics on Data Words ⋮ Logic and Branching Automata ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication:

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