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
Decidability of equivalence in the set of program schema with monotonic and partially commutative operators - MaRDI portal

Decidability of equivalence in the set of program schema with monotonic and partially commutative operators

From MaRDI portal

Publication:1183814

Jump to:navigation, search

zbMath0739.68064MaRDI QIDQ1183814

R. I. Podlovchenko

Publication date: 28 June 1992

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

zbMATH Keywords

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Decidability of equivalence in the set of program schema with monotonic and partially commutative operators

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