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
Formal transformation of structured sorting algorithms - MaRDI portal

Formal transformation of structured sorting algorithms

From MaRDI portal

Publication:1067782

Jump to:navigation, search

zbMath0581.68033MaRDI QIDQ1067782

G. E. Tsejtlin

Publication date: 1985

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

zbMATH Keywords

parallel algorithms semantics systems of algorithmic algebras sequential algorithms

Mathematics Subject Classification ID

Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

This page was built for publication: Formal transformation of structured sorting algorithms

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