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
Expressiveness, meanings and machines - MaRDI portal

Expressiveness, meanings and machines

From MaRDI portal

Publication:4628355

Jump to:navigation, search

DOI10.3233/COM-180090zbMath1417.68031OpenAlexW2800624067WikidataQ129871652 ScholiaQ129871652MaRDI QIDQ4628355

Greg Michaelson, Joe Davidson

Publication date: 20 March 2019

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/com-180090

zbMATH Keywords

semantics Turing machine expressiveness FPGA computability primitive recursion elegance RASP machine universality

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Expressiveness, meanings and machines

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