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

scientific article; zbMATH DE number 2155185

From MaRDI portal

Publication:4665732

Jump to:navigation, search

zbMath1063.68043MaRDI QIDQ4665732

N. V. Shilov, Kwang Yi

Publication date: 11 April 2005

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

zbMATH Keywords

decidability model checking axiomatization propositional \(\mu\) calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Exponential improvement of time complexity of model checking for multiagent systems with perfect recall

This page was built for publication:

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