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:3123635

Jump to:navigation, search

zbMath0874.68218MaRDI QIDQ3123635

Howard Straubing, Denis Thérien, Wolfgang Thomas

Publication date: 16 October 1997

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

zbMATH Keywords

semigroups automata monadic second-order logic circuit complexity regular languages complexity of Boolean circuits computations in finite monoids first-order logic theory extended by numerical predicates varieties of syntactic monoids

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Complexity of computation (including implicit computational complexity) (03D15) Semigroups in automata theory, linguistics, etc. (20M35) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Other applications of logic (03B80)

This page was built for publication:

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