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

scientific article; zbMATH DE number 1860676

From MaRDI portal

Publication:4790404

Jump to:navigation, search

zbMath1012.03514MaRDI QIDQ4790404

Andreas Blass, Yuri Gurevich

Publication date: 21 May 2003

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

zbMATH Keywords

Hoare logic while programs asserted programs assertion logics Cook's completeness theorem expressivity hypothesis

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (3)

One Useful Logic That Defines Its Own Truth ⋮ On the Completeness of Dynamic Logic ⋮ Inductive Completeness of Logics of Programs

This page was built for publication:

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