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
The decidable properties of subrecursive functions - MaRDI portal

The decidable properties of subrecursive functions

From MaRDI portal

Publication:4598249

Jump to:navigation, search

DOI10.4230/LIPIcs.ICALP.2016.108zbMath1388.68140OpenAlexW2537783236MaRDI QIDQ4598249

Mathieu Hoyrup

Publication date: 19 December 2017

Full work available at URL: https://hal.inria.fr/hal-01308224

zbMATH Keywords

Kolmogorov complexity compressibility Rice theorem subrecursive class decidable property

Mathematics Subject Classification ID

Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (3)

The fixed-point property for represented spaces ⋮ Algorithmic networks: central time to trigger expected emergent open-endedness ⋮ Intensional Kleene and Rice theorems for abstract program semantics

This page was built for publication: The decidable properties of subrecursive functions

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