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
Reducibility to free schemes - MaRDI portal

Reducibility to free schemes

From MaRDI portal

Publication:1157149

Jump to:navigation, search

zbMath0469.68019MaRDI QIDQ1157149

S. A. Nigiyan

Publication date: 1980

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

zbMATH Keywords

program schemes

Mathematics Subject Classification ID

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

This page was built for publication: Reducibility to free schemes

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