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

scientific article; zbMATH DE number 1405625

From MaRDI portal

Publication:4938604

Jump to:navigation, search

zbMath0939.03043MaRDI QIDQ4938604

Hélène Touzet

Publication date: 5 July 2000

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

zbMATH Keywords

derivation length order type string rewriting systems Hardy hierarchy expressiveness of Higman's lemma multiply recursive functions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

An upper bound on the derivational complexity of Knuth-Bendix orderings.

This page was built for publication:

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