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

scientific article

From MaRDI portal

Publication:3332247

Jump to:navigation, search

zbMath0543.68035MaRDI QIDQ3332247

V. D. Solov'ev

Publication date: 1983

Full work available at URL: https://eudml.org/doc/69238

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

zbMATH Keywords

Turing machines program scheme Kleene computability effective functionals

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Turing machines and related notions (03D10)

This page was built for publication:

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