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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3928229

Jump to:navigation, search

zbMATH Open0473.68018MaRDI QIDQ3928229

Stanisław P. Radziszowski

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

correctness semantics parallel programs syntax sorting algorithm polynomial-time bounded parallel languages synchronous programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3928229)

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