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; zbMATH DE number 7020153 - MaRDI portal

scientific article; zbMATH DE number 7020153

From MaRDI portal

Publication:4621154

Jump to:navigation, search

zbMath1424.68035MaRDI QIDQ4621154

Jan A. Bergstra, C. A. Middelburg

Publication date: 8 February 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

program algebra basic thread algebra fragmented instruction sequence execution polyadic instruction sequence

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication:

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