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
Program algebras of recursive functions - MaRDI portal

Program algebras of recursive functions

From MaRDI portal

Publication:4341956

Jump to:navigation, search

DOI10.1070/RM1996V051N04ABEH002966zbMath0877.03021MaRDI QIDQ4341956

V. D. Solov'ev

Publication date: 9 July 1997

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

zbMATH Keywords

survey completeness automorphisms expressibility closure operators congruence recursive function program algebra Turing degrees maximal subalgebras

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Abstract and axiomatic computability and recursion theory (03D75)

This page was built for publication: Program algebras of recursive functions

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