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
Compactness of functional equivalence of liberal program schemes - MaRDI portal

Compactness of functional equivalence of liberal program schemes

From MaRDI portal

Publication:1052080

Jump to:navigation, search

zbMath0515.68012MaRDI QIDQ1052080

A. S. Barashko

Publication date: 1982

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

free program schemes freedom problem

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Compactness of functional equivalence of liberal program schemes

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