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

scientific article; zbMATH DE number 522839

From MaRDI portal

Publication:4284232

Jump to:navigation, search

zbMath0794.68089MaRDI QIDQ4284232

Arto Salomaa

Publication date: 24 March 1994

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

zbMATH Keywords

learning decidability term rewriting inductive inference pattern languages

Mathematics Subject Classification ID

Combinatorics on words (68R15) Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Related Items (1)

Undecidability of ground reducibility for word rewriting systems with variables

This page was built for publication:

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