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
Investigating s-model programs for the purpose of reducing them to canonical form - MaRDI portal

Investigating s-model programs for the purpose of reducing them to canonical form

From MaRDI portal

Publication:1083840

Jump to:navigation, search

zbMath0605.68009MaRDI QIDQ1083840

R. I. Podlovchenko

Publication date: 1986

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

zbMATH Keywords

equivalence conversions for program diagrams

Mathematics Subject Classification ID

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

This page was built for publication: Investigating s-model programs for the purpose of reducing them to canonical form

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