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

scientific article; zbMATH DE number 847943

From MaRDI portal

Publication:4866989

Jump to:navigation, search

zbMath0843.03022MaRDI QIDQ4866989

Klaus U. Schulz, Dov M. Gabbay

Publication date: 15 August 1996

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

zbMATH Keywords

determinism Prolog formal language Chomsky hierarchy parsing logic grammars logic finite automaton provably distinct classes of logic languages unification-based automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Mechanization of proofs and logical operations (03B35)

This page was built for publication:

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