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
Algorithmic analysis of mixed computations - MaRDI portal

Algorithmic analysis of mixed computations

From MaRDI portal

Publication:1103378

Jump to:navigation, search

zbMath0645.68014MaRDI QIDQ1103378

N. A. Krinitskij

Publication date: 1987

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

zbMATH Keywords

mixed computation theory of algorithms

Mathematics Subject Classification ID

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

This page was built for publication: Algorithmic analysis of mixed computations

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