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

scientific article; zbMATH DE number 6423748

From MaRDI portal

Publication:4982354

Jump to:navigation, search

zbMath1344.03021MaRDI QIDQ4982354

N. V. Shilov

Publication date: 9 April 2015

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

zbMATH Keywords

model checking axiomatization propositional \(\mu\)-calculus propositional linear temporal logic automata on finite words

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Temporal logic (03B44)

Related Items (2)

Program Schemata Technique to Solve Propositional Program Logics Revised ⋮ Program schemata technique for propositional program logics: a 30-year history

This page was built for publication:

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