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
Some applications of model theory to the metatheory of program schemata - MaRDI portal

Some applications of model theory to the metatheory of program schemata

From MaRDI portal

Publication:1220499

Jump to:navigation, search

DOI10.1305/NDJFL/1093888024zbMath0314.02047OpenAlexW2009574435MaRDI QIDQ1220499

Richard A. DeMillo

Publication date: 1977

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888024

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

This page was built for publication: Some applications of model theory to the metatheory of program schemata

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