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 2110620 - MaRDI portal

scientific article; zbMATH DE number 2110620

From MaRDI portal

Publication:4823140

Jump to:navigation, search

zbMath1068.03023MaRDI QIDQ4823140

Jerzy Tiuryn

Publication date: 26 October 2004

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

zbMATH Keywords

dynamic logic Hoare logic weakest precondition propositional Hoare logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism

This page was built for publication:

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