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
The nonequivalence problem for schemata with memory - MaRDI portal

The nonequivalence problem for schemata with memory

From MaRDI portal

Publication:1142579

Jump to:navigation, search

zbMath0439.68030MaRDI QIDQ1142579

S. A. Nigiyan

Publication date: 1979

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

zbMATH Keywords

nonequivalence problem program schemata with memory

Mathematics Subject Classification ID

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

This page was built for publication: The nonequivalence problem for schemata with memory

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