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
On the Foundations of Computing - MaRDI portal

On the Foundations of Computing

From MaRDI portal

Publication:5215514

Jump to:navigation, search

DOI10.1093/OSO/9780198835646.001.0001zbMath1450.68001OpenAlexW4251315083MaRDI QIDQ5215514

Giuseppe Primiero

Publication date: 11 February 2020

Full work available at URL: https://doi.org/10.1093/oso/9780198835646.001.0001

zbMATH Keywords

efficiency correctness recursion logic specification computability computer architecture theoretical computer science models and simulation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) History of computer science (68-03) General topics in the theory of computing (68Q01)

This page was built for publication: On the Foundations of Computing

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